[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMain.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMain.ml |
Date: |
Sat, 12 Nov 2005 06:16:40 -0500 |
Index: mldonkey/src/gtk2/gui/guiMain.ml
diff -u mldonkey/src/gtk2/gui/guiMain.ml:1.6
mldonkey/src/gtk2/gui/guiMain.ml:1.7
--- mldonkey/src/gtk2/gui/guiMain.ml:1.6 Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiMain.ml Sat Nov 12 11:16:36 2005
@@ -807,8 +807,6 @@
G.get_metrics_from_gtk_font_list ();
let quit () =
- chmod_config ();
- (if !G.is_docked then G.tray.destroy_tray ());
CommonGlobals.exit_properly 0
in
chmod_config ();
@@ -877,8 +875,11 @@
);
CommonGlobals.do_at_exit (fun _ ->
- GuiMisc.save_gui_options gui;
- GuiCom.disconnect gui BasicSocket.Closed_by_user);
+ chmod_config ();
+ GuiMisc.save_gui_options gui;
+ GuiCom.disconnect gui BasicSocket.Closed_by_user;
+ if !G.is_docked then G.tray.destroy_tray ()
+ );
(************ Some hooks ***************)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMain.ml,
mldonkey-commits <=