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