Commit 88691155 authored by MARCHE Claude's avatar MARCHE Claude

IDE: add "save session" and "replay" in the menu

parent 464c4d77
......@@ -113,6 +113,13 @@ let exit_function ~destroy () =
let (_ : GtkSignal.id) = main_window#connect#destroy
~callback:(exit_function ~destroy:true)
let (_ : GMenu.menu_item) =
file_factory#add_item ~key:GdkKeysyms._S "_Save session"
~callback:(fun () -> Session_itp.save_session cont.Controller_itp.controller_session)
let (replay_menu_item : GMenu.menu_item) =
file_factory#add_item ~key:GdkKeysyms._R "_Replay all"
let (_ : GMenu.menu_item) =
file_factory#add_item ~key:GdkKeysyms._Q "_Quit"
~callback:(exit_function ~destroy:false)
......@@ -326,6 +333,12 @@ end
module C = Controller_itp.Make(S)
let (_ : GtkSignal.id) =
replay_menu_item#connect#activate
~callback:(fun () ->
let callback = C.replay_print in
C.replay ~use_steps:false cont ~callback ~remove_obsolete:false)
(***********************************)
(* Mapping session to the GTK tree *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment