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.
