Fixes

• "Plugin: create plugin interface for importer"
• "Navigation: fix restore"
• "Icons: fix some icons not following the theme"
• "Distraction free: header bar can now hide"
• "Writing games: forbid Ctrl+Z"