blob: b61ab2600722e9a1c26ea08a0564403b55add1ee (
plain)
1
2
3
4
5
6
|
- **Changed:**
CoqIDE now uses native window frames by default on Windows.
The GTK window frames can be restored by setting the `GTK_CSD` environment variable to `1`
(`#12060 <https://github.com/coq/coq/pull/12060>`_,
fixes `#11080 <https://github.com/coq/coq/issues/11080>`_,
by Attila Gáspár).
|
