]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 373eaf7)
Better layout of the buttons.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 15:12:57 +0000 (15:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 15:12:57 +0000 (15:12 +0000)
helm/gTopLevel/gTopLevel.ml patch | blob | history

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 4a730283208354abffc7529ac3822640747923f0..58e6180f0107ea500f032adb06be71c0992d5d51 100644 (file)
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -64,8 +64,8 @@ let prooffile = "/home/tassi/miohelm/tmp/currentproof";;
 let prooffile = "/public/sacerdot/currentproof";;
 *)
 
-let prooffile = "/home/galata/miohelm/currentproof";;
-let prooffiletype = "/home/galata/miohelm/currentprooftype";;
+let prooffile = "/public/sacerdot/currentproof";;
+let prooffiletype = "/public/sacerdot/currentprooftype";;
 
 (*CSC: the getter should handle the innertypes, not the FS *)
 (*
@@ -73,8 +73,8 @@ let innertypesfile = "/home/tassi/miohelm/tmp/innertypes";;
 let innertypesfile = "/public/sacerdot/innertypes";;
 *)
 
-let innertypesfile = "/home/galata/miohelm/innertypes";;
-let constanttypefile = "/home/galata/miohelm/constanttype";;
+let innertypesfile = "/public/sacerdot/innertypes";;
+let constanttypefile = "/public/sacerdot/constanttype";;
 
 
 (* GLOBAL REFERENCES (USED BY CALLBACKS) *)
@@ -1629,18 +1629,22 @@ class rendering_window output proofw (label : GMisc.label) =
  let transitivityb =
   GButton.button ~label:"Transitivity"
    ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
+ let hbox5 =
+  GPack.hbox ~packing:(vbox1#pack ~expand:false ~fill:false ~padding:5) () in
  let leftb =
   GButton.button ~label:"Left"
-   ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
+   ~packing:(hbox5#pack ~expand:false ~fill:false ~padding:5) () in
  let rightb =
   GButton.button ~label:"Right"
-   ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
+   ~packing:(hbox5#pack ~expand:false ~fill:false ~padding:5) () in
  let assumptionb =
   GButton.button ~label:"Assumption"
-   ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
+   ~packing:(hbox5#pack ~expand:false ~fill:false ~padding:5) () in
+(*
  let prova_tatticalib =
   GButton.button ~label:"Prova_tatticali"
-   ~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
+   ~packing:(hbox5#pack ~expand:false ~fill:false ~padding:5) () in
+*)
  let outputhtml =
   GHtml.xmhtml
    ~source:"<html><body bgColor=\"white\"></body></html>"
Unnamed repository; edit this file 'description' to name the repository.