- 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