- Fix display of collapsable insets when the same document is shown in
two views with different width (bug 9756).
+- fix display glitches when editing changes the dimension of insets
+ (bug 6691).
+
- Raise GuiView on buffer switch to bring it topmost in multi-window mode.
- Fix cursor position after Redo of a document settings change (bug
- Shortcut preferences: don't forget to trigger the search when it is
initialized with the previous value.
+- Remove extra spacing around button insets (bug 10149).
+
+- Fix drawing of buttons by enforcing equal left/right spacing (bug 10147).
* INTERNALS