tophf 008e33254d add option to use sliders in manager and popup		2020-11-21 10:13:30 +03:00
..
hotkeys.js	add option to use sliders in manager and popup	2020-11-21 10:13:30 +03:00
popup.css	add option to use sliders in manager and popup	2020-11-21 10:13:30 +03:00
popup.js	add option to use sliders in manager and popup	2020-11-21 10:13:30 +03:00
search-results.css	tweak editor (#1063)	2020-10-13 21:14:54 +03:00
search-results.js	PatchCSP + tweaks/fixes/features (#1107)	2020-11-18 14:17:15 +03:00