From 158ae2efea344421adeaf861905fe6ffa64b9f8c Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jul 2005 16:18:10 +0000
Subject: [PATCH] According to the Gnome Interface Guidelines the Help menu
 must be aliged as the other ones. It should not be all alone on the very
 right of the screen.

---
 helm/matita/matitaGui.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 90826e98f..0a0239aeb 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -487,7 +487,6 @@ class gui () =
         | `DELETE_EVENT -> return None));
         (* menus *)
       List.iter (fun w -> w#misc#set_sensitive false) [ main#saveMenuItem ];
-      main#helpMenu#set_right_justified true;
         (* console *)
       let adj = main#logScrolledWin#vadjustment in
         ignore (adj#connect#changed
-- 
2.39.2