tophf d3b7b45452 editor: toggle #options block upon clicking its title		2017-09-01 12:49:09 +03:00
..
dom.js	refactor lint report stuff, use $element	2017-08-31 23:19:43 +03:00
localization.js	Use optimal DOM selection functions	2017-08-27 17:20:46 -05:00
messaging.js	FF: ignore lastError in sendMessage where irrelevant	2017-08-28 15:20:38 +03:00
prefs.js	editor: toggle #options block upon clicking its title	2017-09-01 12:49:09 +03:00