Coq PR #12060 proposes that CoqIDE leaves Windows control the decoration (title bar, borders, close button, etc.) of CoqIDE, as a way to fix some oddities of gtk+3 default style under Windows, as described in Coq issue #11080. Additionally, it allows to support the following Windows UI features:
- Moving the window to the corners
- Shaking it to hide other windows
- Stacking / cascading windows by right clicking on the taskbar
Any opinion or suggestions? Don’t hesitate to comment or support this change at https://github.com/coq/coq/pull/12060.