open.source/stylus
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3102738cfb
stylus/edit
History
tophf 3102738cfb
improve linter info and config popup (#1171) 
* improve linter info popup

* show rule id so the user can configure it
* add "configure" button to show the linter config UI
* add margins between items
* emphasize active rules in linter config dialog
2021-02-14 20:30:50 +03:00
..
autocomplete.js fix autocomplete after var(, autocompleteOnTyping 2021-01-07 14:52:38 +03:00
base.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
beautify.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
codemirror-default.css API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
codemirror-default.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
codemirror-factory.js simplify rerouteHotkeys to avoid enabling it twice 2021-02-02 22:49:00 +03:00
codemirror-themes.js PatchCSP + tweaks/fixes/features (#1107) 2020-11-18 14:17:15 +03:00
edit.css improve linter info and config popup (#1171) 2021-02-14 20:30:50 +03:00
edit.js remember CM bookmarks on reload/revisit 2021-01-12 17:39:24 +03:00
editor-worker.js stylelint 13.8.0 2021-01-05 18:51:01 +03:00
embedded-popup.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
global-search.css fix search-target-editor style 2020-12-08 23:03:13 +03:00
global-search.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
linter-dialogs.js improve linter info and config popup (#1171) 2021-02-14 20:30:50 +03:00
linter-manager.js stylelint 13.8.0 2021-01-05 18:51:01 +03:00
moz-section-finder.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
moz-section-widget.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
regexp-tester.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
sections-editor-section.js fix resizing of last section if page is scrolled 2021-01-07 14:52:38 +03:00
sections-editor.js convert USO styles to USO-archive on update 2021-02-04 14:10:30 +03:00
show-keymap-help.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
source-editor.js convert USO styles to USO-archive on update 2021-02-04 14:10:30 +03:00
util.js simplify rerouteHotkeys to avoid enabling it twice 2021-02-02 22:49:00 +03:00