Permalink
Browse files

* code_graph/view3.ml: back button

  • Loading branch information...
Yoann Padioleau Yoann Padioleau
Yoann Padioleau authored and Yoann Padioleau committed Sep 20, 2012
1 parent 9b0b3e0 commit e4129e6c4d4e2d0d3005e80bba19ca6417ca8c41
Showing with 5 additions and 3 deletions.
  1. +2 −3 code_graph/view3.ml
  2. +3 −0 code_graph/view_matrix.mli
View
@@ -81,7 +81,6 @@ let configure da w ev =
View_matrix.paint w;
true
-
(*****************************************************************************)
(* The main UI *)
(*****************************************************************************)
@@ -200,8 +199,8 @@ let mk_gui w =
tb#insert_widget (G.mk (GButton.button ~stock:`GO_BACK) (fun b ->
b#connect#clicked ~callback:(fun () ->
- raise Todo
- (* !Controller._go_back dw;*)
+ w.path <- Common.list_init w.path;
+ View_matrix.recompute_matrix w;
)
));
));
@@ -4,3 +4,6 @@ val paint: Model3.world -> unit
val button_action:
< as_widget : [> `widget ] Gtk.obj; .. > ->
Model3.world -> GdkEvent.Button.t -> bool
+
+val recompute_matrix:
+ Model3.world -> unit

0 comments on commit e4129e6

Please sign in to comment.