v13

• Improved error message for missing typelibs #34
• Fixes for resizing issues
• Keyboard shortcuts split into two groups: global/extension and application
• Special keys (media/fn) can now be used for global shortcuts #33
• Terminal can be toggled from command line #33
• New global shortcut: show/activate terminal. Brings the window to front if it is already visible
• Adjusted metadata.json so that extensions.gnome.org lists the extension as compatible with GNOME 40 again