X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=4f36938b5e25d67835a6a60900e05505d420bba6;hb=1b1a0b78ea59c7f0fe2bf7ffda4a5cda260add35;hp=7270603a9636b7ebcd4be445ce9350b0757dfefb;hpb=f27b26f3f3d2300b11aa4d68dbe823e15ffbdf1c;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 7270603a9..4f36938b5 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -486,10 +486,19 @@ class gui () =
           match get_devel_selected () with
           | None -> ()
           | Some d -> 
-              let clean = locker 
-                (fun () -> MatitamakeLib.publish_development_in_bg refresh d)
-              in
-              ignore(clean ())));
+              let publish = locker (fun () ->
+                MatitamakeLib.publish_development_in_bg refresh d) in
+              ignore(publish ())));
+      connect_button develList#graphButton (fun () -> 
+        match get_devel_selected () with
+        | None -> ()
+        | Some d ->
+            (match MatitamakeLib.dot_for_development d with
+            | None -> ()
+            | Some _ ->
+                let browser = MatitaMathView.cicBrowser () in
+                browser#load (`Development
+                  (MatitamakeLib.name_for_development d))));
       connect_button develList#closeButton 
         (fun () -> develList#toplevel#misc#hide());
       ignore(develList#toplevel#event#connect#delete