mediawiki-extensions-CodeEd.../modules
Nardog 86e79cdaf3 Improve accuracy of the search/replace toggle
Now toggleSearchReplace() actually looks at the visibility of the search
box, instead of keeping a boolean, to decide whether to show or hide the
box, in case it was opened by Ctrl-F or closed by Esc or clicking X. So
the button itself is no longer a toggle, but a simple action button. In
addition, it now uses Ace's native replace command instead of
reinventing the wheel. Ace no longer hijacks Ctrl-R and with this Ctrl-H
now works.

Bug: T102486
Change-Id: I6bead1b3209e08a46e31ed3f30c61ca52152b688
2021-03-25 20:11:52 +00:00
..
ace Update Ace 1.4.9 -> 1.4.12 2020-08-12 13:22:05 +01:00
images Move images folder into modules folder 2021-03-12 20:09:55 +01:00
ace.less De-emphasise line numbers 2021-01-13 17:07:02 +00:00
ext.codeEditor.js build: Update eslint-config-wikimedia to 0.11.0 2019-03-13 22:38:54 +00:00
jquery.codeEditor.js Improve accuracy of the search/replace toggle 2021-03-25 20:11:52 +00:00
jquery.codeEditor.less Update ace-build 1.2.9 -> 1.4.9 and recompile 2020-04-14 14:30:34 -07:00