narcolepticinsomniac e612a305cc Moz-import background ... Fixes #209 I used `!important` because I think it might be necessary to override themes.		2017-10-12 19:50:41 -04:00
..
edit.css	Moz-import background	2017-10-12 19:50:41 -04:00
edit.js	restore size on reopening a closed editor tab	2017-09-23 21:33:57 +03:00
lint-codemirror-helper.js	separate 'rule' property in lint annotations	2017-08-31 22:25:28 +03:00
lint-defaults-csslint.js	regroup some of lint* data and code	2017-08-28 15:20:37 +03:00
lint-defaults-stylelint.js	regroup some of lint* data and code	2017-08-28 15:20:37 +03:00
lint.js	always hide lint report on switching the linter option	2017-09-04 01:07:07 +03:00