From 96a4177b8fc2a36bfa48c950fba811571b0ecb1b Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 23 Nov 2000 10:22:00 +0000
Subject: [PATCH] Bug fixew

---
 helm/interface/mmlinterface.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/interface/mmlinterface.ml b/helm/interface/mmlinterface.ml
index cfccfbb3f..496e35e55 100755
--- a/helm/interface/mmlinterface.ml
+++ b/helm/interface/mmlinterface.ml
@@ -487,7 +487,7 @@ class settings_window output sw button_export_to_postscript jump_callback
  let table =
   GPack.table
    ~rows:1 ~columns:3 ~homogeneous:false ~row_spacings:5 ~col_spacings:5
-   ~border_width:5 ~packing:vbox#(pack () in
+   ~border_width:5 ~packing:vbox#add () in
  let button_t1 =
   GButton.toggle_button ~label:"activate t1 fonts"
    ~packing:(table#attach ~left:0 ~top:0) () in
-- 
2.39.2