diff options
Diffstat (limited to 'doc/changelog/09-coqide/12060-ide-disable-csd.rst')
| -rw-r--r-- | doc/changelog/09-coqide/12060-ide-disable-csd.rst | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/changelog/09-coqide/12060-ide-disable-csd.rst b/doc/changelog/09-coqide/12060-ide-disable-csd.rst deleted file mode 100644 index b61ab26007..0000000000 --- a/doc/changelog/09-coqide/12060-ide-disable-csd.rst +++ /dev/null @@ -1,6 +0,0 @@ -- **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). |