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
tophf
320ea3485a
hyphenate blocked-info in FF
2017-08-27 13:02:58 +03:00
tophf
90ab2959a6
abandon automatic translation in CSS
...
* it fails with some languages in some versions of FF
* it's not as flexible as HTML templates
* we were only using it for a few messages
2017-08-27 13:02:17 +03:00
tophf
243da0b0d1
fix opening own pages from an incognito window popup in Chrome
2017-08-26 15:57:33 +03:00
tophf
8976bd58b8
inform when dysfunctional due to FF options
2017-08-26 15:34:27 +03:00
tophf
8525ea9017
unbind properly in msgbox; hide Esc/Enter from other handlers
2017-08-26 08:32:54 +03:00
tophf
0d038c59bc
make getDomains foolproof
...
fixes #172
2017-08-26 07:57:52 +03:00
tophf
7e5396a11d
prevent browser exception bug on sendResponse to a closed tab
...
fixes #171
2017-08-26 07:51:28 +03:00
tophf
38c7ed1bc1
prevent text selection upon click outside of messageBox
2017-08-25 20:50:15 +03:00
tophf
d932d37cff
remove unused CodeMirror test files
2017-08-25 20:04:39 +03:00
tophf
fb7f7d5471
URL-mode in manager's search and popup's manage button
...
* in manager use search query like url:https://github.com/openstyles/stylus
* in popup shift-click or right-click on manager button opens it and applies the filter
2017-08-23 12:16:32 +03:00
