From dc20c308875bad569c97a1b5e2184a074f37d1bc Mon Sep 17 00:00:00 2001
From: Attila Gáspár
Date: Thu, 9 Apr 2020 19:24:51 +0200
Subject: CoqIDE: Disable client-side decoration on Windows

---
 ide/coqide_WIN32.ml.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coqide_WIN32.ml.in b/ide/coqide_WIN32.ml.in
index 2d3964f210..be8aab9e49 100644
--- a/ide/coqide_WIN32.ml.in
+++ b/ide/coqide_WIN32.ml.in
@@ -44,6 +44,7 @@ let () =
   Coq.gio_channel_of_descr_socket := Glib.Io.channel_of_descr_socket;
   set_win32_path ();
   Coq.interrupter := win32_interrupt;
-  reroute_stdout_stderr ()
+  reroute_stdout_stderr ();
+  try ignore (Unix.getenv "GTK_CSD") with Not_found -> Unix.putenv "GTK_CSD" "0"
 
 let init () = ()
-- 
cgit v1.2.3