eight
c0514a6699
Change: default linter
2017-10-06 16:33:49 +08:00
eight
70bbc08ee0
Add editor.appliesToLineWidget option
2017-09-14 09:58:22 +08:00
tophf
09010c20a6
enqueue stuff dependent on DB decision
2017-09-03 21:25:19 +03:00
tophf
ea8eaf3146
swap parameters in prefs.subscribe
2017-09-03 20:06:30 +03:00
tophf
7a50387d35
fixup cd6bcc65: read BG.localStorage dummy properly
2017-09-03 20:06:30 +03:00
tophf
1d1d0453e1
code cosmetics to silence eslint
2017-09-02 19:32:12 +03:00
tophf
d3b7b45452
editor: toggle #options block upon clicking its title
2017-09-01 12:49:09 +03:00
tophf
cd6bcc6511
FF: when not dom.storage.enabled use dummies
2017-08-28 15:20:38 +03:00
tophf
9946f3c781
regroup some of lint* data and code
...
* all lint-related js files are prefixed by lint-
* config-related stuff is grouped in linterConfig
* CM helper is rewritten and moved in /edit now that CSSLint supports these features
* chromeSync methods that apply LZString got LZ in their names
* empty string is used for 'disabled' in linter selector
2017-08-28 15:20:37 +03:00
Rob Garrison
8dc2115347
Revert no-inline-comments (2ea5a3bbaa2fdb0a)
2017-08-27 17:20:46 -05:00
Rob Garrison
afc38b0bc8
update element selectors in all files
2017-08-27 17:20:46 -05:00
Rob Garrison
d563495c26
Fix no-inline-comments issues
2017-08-27 17:20:45 -05:00
Rob Garrison
dfa71f699e
Add linter select option
2017-08-27 17:20:42 -05:00
tophf
80ff6f6832
fixup 8976bd58: specify parent to avoid deadzoning
2017-08-27 14:30:39 +03:00
tophf
8976bd58b8
inform when dysfunctional due to FF options
2017-08-26 15:34:27 +03:00
tophf
64ba125601
manage: add inverted filters (disabled, external)
2017-08-22 17:24:44 +03:00
tophf
1ca68b8488
fixup ede1187b: settings may be missing
2017-08-16 21:44:59 +03:00
tophf
ede1187b31
popupWidth setting isn't a special sync case anymore
2017-08-13 17:33:57 +03:00
Rob Garrison
417e3b5de3
Add eqeqeq definition to eslint
2017-07-16 13:07:21 -05:00
Rob Garrison
7a9d629ec8
Restructure folders
2017-07-12 16:26:20 -05:00
