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 |
|