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
tophf
5c444b4b96
draw fold marks in CSS since some fonts may not have them
2018-05-06 13:11:19 +03:00
tophf
b78110aa1c
.CodeMirror-dialog: shorten yellow highlight bright phase
2017-12-18 10:27:50 +03:00
tophf
d4ffa04bb6
raise applies-to widget above .CodeMirror-activeline
2017-12-07 04:00:26 +03:00
tophf
bd0f460c56
usercss editor: use real theme color for inputs in widgets
2017-12-05 21:01:32 +03:00
tophf
0ba3cfb725
FF: fix transition-bug-suppressor condition
2017-12-02 19:38:03 +03:00
tophf
e32fecd1e3
usercss: tint the active line's @mozdoc widget
2017-12-02 18:53:37 +03:00
tophf
5bdaacc049
stabilize token highlighting for the match/search mode
2017-12-01 21:16:19 +03:00
tophf
493c1a65c0
worker for stylelint; hints in linter config popup
2017-11-28 20:07:37 +03:00
tophf
80547aef70
recognize USO-variables /*[[foo]]*/ and provide autocomplete hints
2017-11-24 13:19:18 +03:00
tophf
559420a461
FF: outline the active code box
...
-webkit-focus-ring-color rgb value is used, but not the blurred effect (TODO)
2017-11-15 11:49:02 +03:00
eight
13ca45a104
Fix: reorder global comment
2017-11-01 11:16:46 +08:00
