From 6bb9e026d6bed7c11cf26628f3468d5ed0c31fe2 Mon Sep 17 00:00:00 2001
From: Olivier Marty
Date: Mon, 7 Aug 2017 22:28:47 +0200
Subject: Set detachable windows type hint to dialog.

Windows such as Search & Replace are dialogs. For some window
managers, the hint changes how the window is displayed.
---
 ide/wg_Detachable.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/wg_Detachable.ml b/ide/wg_Detachable.ml
index e5b4364278..3d3a5ccb22 100644
--- a/ide/wg_Detachable.ml
+++ b/ide/wg_Detachable.ml
@@ -19,7 +19,7 @@ class detachable (obj : ([> Gtk.box] as 'a) Gobject.obj) =
     inherit GPack.box_skel (obj :> Gtk.box Gobject.obj) as super
 
     val but = GButton.button ()
-    val win = GWindow.window ()
+    val win = GWindow.window ~type_hint:`DIALOG ()
     val frame = GBin.frame ~shadow_type:`NONE ()
     val mutable detached = false
     val mutable detached_cb = (fun _ -> ())
-- 
cgit v1.2.3