tophf
3c665aea08
widen editor input[type="number"], align to match siblings
...
fixes #221
2017-10-31 12:52:11 +03:00
narcolepticinsomniac
e612a305cc
Moz-import background
...
Fixes #209
I used `!important` because I think it might be necessary to override themes.
2017-10-12 19:50:41 -04:00
tophf
3d0b811b27
edit: throttle setOption for 'theme' and 'lineWrapping'
...
when the style has more than 4 sections, these options are propagated to CM instances in 100 ms chunks, and a progress overlay is shown over the corresponding option element after 100 ms
2017-09-12 23:19:10 +03:00
tophf
e9b174f6e3
editor narrow mode: reduce options title margins
2017-09-03 19:43:38 +03:00
tophf
d3b7b45452
editor: toggle #options block upon clicking its title
2017-09-01 12:49:09 +03:00
tophf
96b47e7bdd
editor: autoswitch to next/prev editor on cursor movement
2017-09-01 12:23:49 +03:00
tophf
86ebca5e1a
editor: show progress bar while opening huge styles
2017-09-01 00:52:38 +03:00
Rob Garrison
2c234893e2
Add config cancel button
2017-08-27 17:20:47 -05:00
Rob Garrison
0cd88873e1
Show alert with invalid JSON and rule names
2017-08-27 17:20:47 -05:00
Rob Garrison
e387d7a5e7
Remove lint issues overflow & ellipsis
2017-08-27 17:20:45 -05:00
Rob Garrison
75deeddc0e
Fix linting issues table
...
Also fixed severity icon alignment
2017-08-27 17:20:45 -05:00
Rob Garrison
73e7a9b3f1
Add stylelint config icon tooltip
2017-08-27 17:20:43 -05:00
Rob Garrison
12a09976f2
Prevent vertical scrollbar on header
2017-08-27 17:20:43 -05:00
Rob Garrison
06cd78b643
Add stylelint settings popup & cleanup
2017-08-27 17:20:43 -05:00
Rob Garrison
a44b4e7822
Switch from CSSLint to stylelint
2017-08-27 17:20:42 -05:00
tophf
feea5e834e
avoid avoiding to actually avoid
...
it was a Chrome bug workaround which became harmful now that it's fixed in Chrome
2017-08-27 17:50:53 +03:00
tophf
6256f1ab2d
fix narrow editor media query in FF: use column-count
2017-08-27 14:40:23 +03:00
tophf
d2b81be9d1
editor: CM scroller height fix for resize-grip (fixup b45f51f1)
...
fixes #142
2017-08-09 16:56:39 +03:00
tophf
eeb826ee97
showRegExpTester: don't blink favicons on typing
2017-07-22 12:54:32 +03:00
Rob Garrison
bb33ff3981
Fix links & split out edit.css
2017-07-12 16:26:20 -05:00
