Pavlos Touboulidis db53f8e648 Add developer shortcut to reload chrome files ...

Hitting Ctrl+Shift+C will re-initialize the chrome provider,
reloading all chrome files instantly. Useful when changing the
UI.

Note: A new "RootWidget" was created to trap top-level (global)
shortcuts instead of putting everything in Widget.

2014-06-13 11:31:09 +03:00

17 KiB

Raw Blame History

View Raw