From 21da7b0b7cd14ebc928a84ca9f53793e3956dfb7 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 25 Aug 2008 13:15:54 +0000 Subject: [PATCH] Do not mess with my window manager: the Cic Browsers are no longer slaves to the main window. --- helm/software/matita/matita.glade | 1 - helm/software/matita/matitaGui.ml | 1 - 2 files changed, 2 deletions(-) diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade index 34121dd9f..5e39120a9 100644 --- a/helm/software/matita/matita.glade +++ b/helm/software/matita/matita.glade @@ -11,7 +11,6 @@ 500 480 True - MainWin True diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml index 827bdf375..c65104035 100644 --- a/helm/software/matita/matitaGui.ml +++ b/helm/software/matita/matitaGui.ml @@ -1166,7 +1166,6 @@ class gui () = self#check_widgets (); let combo_widget = combo#coerce in uriHBox#pack ~from:`END ~fill:true ~expand:true combo_widget; - self#toplevel#set_transient_for main#toplevel#as_window; combo#misc#grab_focus () method browserUri = combo end -- 2.39.2