open.source/stylus
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
eb0b9f58f5
stylus/edit
History
narcolepticinsomniac eb0b9f58f5 Fix search highlight conflict (#587) 
* Fix search highlight conflict 

Regular highlight styling and search highlight styling shouldn't both be applied at the same time. Search highlight styling should also be removed when search is closed. This PR resolves those conflicts.

* Remove unnecessary dummy animation

Not sure what the point of it ever was, but I'm pretty sure it should go.
2018-11-27 22:48:45 -06:00
..
applies-to-line-widget.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
beautify.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
codemirror-default.css Fix search highlight conflict (#587) 2018-11-27 22:48:45 -06:00
codemirror-default.js Fix: cycle through editors (#572) 2018-11-21 09:47:28 -06:00
codemirror-factory.js Change: modify match-highlighter plugin (#578) 2018-11-25 07:28:37 -06:00
codemirror-themes.js Fix: output codemirror themes to a separated file (#538) 2018-11-07 05:33:14 -06:00
colorpicker-helper.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
edit.css Fix search highlight conflict (#587) 2018-11-27 22:48:45 -06:00
edit.js Fix: output codemirror themes to a separated file (#538) 2018-11-07 05:33:14 -06:00
editor-worker.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
global-search.css Fix search highlight conflict (#587) 2018-11-27 22:48:45 -06:00
global-search.js Fix search highlight conflict (#587) 2018-11-27 22:48:45 -06:00
linter-config-dialog.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
linter-defaults.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
linter-engines.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
linter-help-dialog.js Remove duplicate rules in issue modal 2018-11-20 18:57:25 -06:00
linter-meta.js Allow /*! in UserCSS metadata. Closes #571 2018-11-20 17:07:42 -06:00
linter-report.js Update usercss-meta (#540) 2018-11-07 23:33:56 +08:00
linter.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
live-preview.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
refresh-on-view.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
regexp-tester.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
reroute-hotkeys.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
sections-editor-section.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
sections-editor.js Fix: cycle through editors (#572) 2018-11-21 09:47:28 -06:00
show-keymap-help.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00
source-editor.js Fix: failed to find the old style when the name/namespace is changed (#581) 2018-11-25 07:27:10 -06:00
util.js Refactor the entire storage system and the section editor (#518) 2018-11-07 14:09:29 +08:00