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