narcolepticinsomniac
586ad8aad7
edit
2018-10-12 16:24:42 -04:00
tophf
adc165723c
actually run restoreWindowScrollPos in a microtask
2018-08-16 18:09:50 +03:00
tophf
87da06037f
make showCodeMirrorPopup modal
...
closes #437
2018-07-22 19:37:49 +03:00
tophf
6f64bd840c
code cosmetics: strip trailing spaces
2018-07-17 11:24:13 +03:00
tophf
796b2b132d
FF execCommand bug workaround needs 'input' event dispatched
...
fixes #419
2018-07-06 12:37:35 +03:00
tophf
3c13f13ae2
FF workaround for broken execCommand and getSelection
...
closes #407
2018-06-29 13:00:25 +03:00
tophf
7a479edc56
more consistent focus/scroll behavior of global search
...
* keep page scroll position on Esc/close
* focus the match on Enter
2018-02-02 09:04:25 +03:00
tophf
a6e2cf47ed
don't update the tally when the dialog isn't shown
2018-01-07 12:52:31 +03:00
tophf
27fe9fa9db
search/replace in extra CodeMirror boxes e.g. lint config
2018-01-01 10:35:22 +03:00
tophf
b2100ea853
fixes for global search/replace
...
* Enter key in input fields:
* [Find mode] closes the dialog and focuses the matched text
* [Replace mode] performs a single replace action
* Undo button checks the new CM changeGeneration and disables itself
if the changes were already undone
* doUndo focuses the visible undo button
2018-01-01 09:56:41 +03:00
tophf
e50ff316ba
toggle narrow width mode tooltips via html+css; code cosmetics
2017-12-19 02:48:47 +03:00
tophf
1348eeb4e3
code cosmetics
2017-12-18 16:48:33 +03:00
tophf
4ecb6e7bc2
optimistically show 1 in tally only for a code match
2017-12-18 11:28:11 +03:00
tophf
d10e83d15c
editor: rewrite global search/replace
2017-12-18 10:27:50 +03:00
