Bump to 2.9.0~pre11
Catch `Exception`s thrown by misbehaving extensions
- Keeps the GUI alive when an extension is broken
Add qprogedit_preferences extension
- Shows the QProgEdit preferences in the preferences tab
Catch extension errors in preferences widget
- Better resize behavior
Improve dock widgets
- Don't use double titlebar
- Add dock_manager extension for locking the widgets and setting the orientation
Add size keyword to theme.qlabel
Start drags in the overview area only after a specific interval
Update setup scripts