mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-12-30 20:10:28 +00:00
Code Issues Releases Wiki Activity
7de8e1fc97
TiddlyWiki5/plugins/tiddlywiki/codemirror-search-replace
History
Jeremy Ruston 92340d81cc Introduce "parent-plugin" field to control how plugins are displayed in the chooser 
"Sub-plugins" are displayed within the dropdown of their parent plugin.

This is a more elaborate version of #4109. It doesn't address dependent plugins (yet), this is just about grouping addon plugins under their parent.
2019-09-25 16:16:28 +01:00
..
files CodeMirror 5.36.0 modularized (#3184) 2018-04-06 17:34:50 +01:00
plugin.info Introduce "parent-plugin" field to control how plugins are displayed in the chooser 2019-09-25 16:16:28 +01:00
readme.tid CodeMirror 5.36.0 modularized (#3184) 2018-04-06 17:34:50 +01:00

readme.tid 

title: $:/plugins/tiddlywiki/codemirror-search-replace/readme

This plugin enhances the [[CodeMirror|http://codemirror.net]] text editor with Search and Replace functionality. It needs the latest [[CodeMirror plugin|$:/plugins/tiddlywiki/codemirror]] to be installed

It adds these Keyboard Shortcuts to ~CodeMirror:

|Shortcut |Function |h
|Ctrl-F / Cmd-F |Start searching |
|Ctrl-G / Cmd-G / Shift-F3 |Find next |
|Shift-Ctrl-G / Shift-Cmd-G / F3 |Find previous |
|Shift-Ctrl-F / Cmd-Option-F |Replace |
|Shift-Ctrl-R / Shift-Cmd-Option-F |Replace all |
|Alt-F |Persistent search (dialog doesn't autoclose, enter to find next, Shift-Enter to find previous) |
|Alt-G |Jump to line |