Rob Garrison
91825d11fd
Clean up modified css-lint
2017-08-27 17:20:45 -05:00
Rob Garrison
5bfbab62d7
Use push instead of concat
2017-08-27 17:20:45 -05:00
Rob Garrison
bfe1ad60c2
Remove unnecessary braces
2017-08-27 17:20:45 -05:00
Rob Garrison
3e371f193a
Set eslint no-inline-comments
2017-08-27 17:20:45 -05:00
Rob Garrison
5936d766f8
Update element selectors
2017-08-27 17:20:45 -05:00
Rob Garrison
b429735e86
Use loader script to load beautify
2017-08-27 17:20:44 -05:00
Rob Garrison
92a49759a9
Update empty stylelint rules on initial load
2017-08-27 17:20:44 -05:00
Rob Garrison
f36ce5c625
Fix undefined stylelintDefaultConfig
2017-08-27 17:20:44 -05:00
Rob Garrison
7da5bd1408
Remove link to jsonlint
2017-08-27 17:20:44 -05:00
Rob Garrison
9d1a1427a0
Fix stylelint settings json linting
2017-08-27 17:20:44 -05:00
Rob Garrison
775aec7c72
Add jsonlint resource
2017-08-27 17:20:44 -05:00
Rob Garrison
25ec79e8bb
Fix jsonlint error message text
2017-08-27 17:20:44 -05:00
Rob Garrison
dded798ee3
Fix stylelint error message timer
2017-08-27 17:20:44 -05:00
Rob Garrison
7c5b4c2bcf
Remove extra delay
...
It appears to no longer be an issue
2017-08-27 17:20:44 -05:00
Rob Garrison
29851a8de9
Dynamically load linter when selected
2017-08-27 17:20:44 -05:00
Rob Garrison
b1a7f8d4a2
Fix stylelint popup code & use codemirror
2017-08-27 17:20:44 -05:00
Rob Garrison
06130446c6
Set default stylelint severity warning
2017-08-27 17:20:43 -05:00
Rob Garrison
014adf8d8a
Fix linting issues with injection code
2017-08-27 17:20:43 -05:00
Rob Garrison
3c160a3fa5
Add script/link injection code
2017-08-27 17:20:43 -05:00
Rob Garrison
f52f8c57d8
Rename linter.js to css-lint.js
2017-08-27 17:20:43 -05:00
Rob Garrison
287f16dcfa
Use preventDefault
2017-08-27 17:20:43 -05:00
Rob Garrison
b89fb440f7
Replace try/catch with tryJSONparse
2017-08-27 17:20:43 -05:00
Rob Garrison
fefb8f332c
Rename function to be more precise
2017-08-27 17:20:43 -05:00
Rob Garrison
6bd1768b72
Remove unnecessary global
2017-08-27 17:20:43 -05:00
Rob Garrison
0ccdf2fd7f
Remove disabling of unrelated js linting issue
2017-08-27 17:20:43 -05:00
Rob Garrison
9564c21282
Split global definitions
2017-08-27 17:20:43 -05:00
Rob Garrison
73e7a9b3f1
Add stylelint config icon tooltip
2017-08-27 17:20:43 -05:00
Rob Garrison
481036c324
Fix localization messages & add placeholders
2017-08-27 17:20:43 -05:00
Rob Garrison
c2e294beff
Fix js error when no linting issues exist
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
07dce1006d
Split out lint code from edit.js
2017-08-27 17:20:43 -05:00
Rob Garrison
dfa71f699e
Add linter select option
2017-08-27 17:20:42 -05:00
Rob Garrison
139d7ebb98
Show stylelint warnings & use minified bundle
2017-08-27 17:20:42 -05:00
Rob Garrison
47e326d293
Remove duplicate file
2017-08-27 17:20:42 -05:00
Rob Garrison
a44b4e7822
Switch from CSSLint to stylelint
2017-08-27 17:20:42 -05:00
tophf
6f2883c6d3
remember window size only in active editor
2017-08-27 19:41:09 +03:00
tophf
a52c6ed9d7
avoid creating conflicts with stylelint PR
2017-08-27 18:03:59 +03: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
fa908d1ceb
fixup 58f966be
2017-08-27 17:45:15 +03:00
tophf
ec95e8e7b4
simplify tabs.onAttached
2017-08-27 17:42:59 +03:00
tophf
58f966be98
use consistent file names for options assets
2017-08-27 17:17:28 +03:00
tophf
2631e3a685
try to fit all options in 640px max-height set by Chrome
2017-08-27 17:17:28 +03:00
tophf
5620ef606e
expose openEditInWindow as an option
2017-08-27 17:17:28 +03:00
tophf
d1924c1d63
deglobalize onAttached listener for editor tabs
...
* bonus: one unconditional global listener less
* bonus: in FF the saved window size is restored on detaching
* theoretically possible drawback: 100+ editor tabs on a slow computer may be slower than before
2017-08-27 17:17:28 +03:00
tophf
738846a614
better remember and detect resizing of editor; FF-compatibility
2017-08-27 17:05:05 +03:00
tophf
dba3de7a86
fix&simplify narrow manager media queries
2017-08-27 17:05:05 +03:00
tophf
6256f1ab2d
fix narrow editor media query in FF: use column-count
2017-08-27 14:40:23 +03:00
tophf
80ff6f6832
fixup 8976bd58: specify parent to avoid deadzoning
2017-08-27 14:30:39 +03:00
tophf
543fec82ce
Use our font style for 'dysfunctional' message
2017-08-27 13:28:03 +03:00
