diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-08-16 11:08:41 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-16 11:08:41 +0200 |
commit | 16b0b833a3cee070a207e2039bde0ae77b8774d4 (patch) | |
tree | cc309814820e28409c8bc12b768ade49d8a2a65c | |
parent | 4b92a109d0d8e1f04e259f56d82b5d15b3c79134 (diff) | |
parent | 6bb9e026d6bed7c11cf26628f3468d5ed0c31fe2 (diff) |
Merge PR #957: Set detachable windows type hint to dialog.
-rw-r--r-- | ide/wg_Detachable.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_Detachable.ml b/ide/wg_Detachable.ml index e5b436427..3d3a5ccb2 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 _ -> ()) |