To Windows users of CoqIDE: request for comments about using Windows standard title bar rather than GTK+3 specific title bar

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