Commit 4260d18d authored by erwan's avatar erwan
Browse files

Rename the gui file

parent a3b9e5c7
(install
(files sasa-rdbg-cmds.ml dot4sasa.ml daemongui.ml)
(files sasa-rdbg-cmds.ml dot4sasa.ml gtkgui.ml)
(section lib)
(package sasa)
)
......@@ -659,7 +659,7 @@ let main () =
let gui = main
(* todo
- renommer ce fichier
- couper les grosses fonctions en morceaux
- lire les commandes dans text_in
- ne pas afficher la bouton demons custom pour les sessions pas custom
- cacher les boutons de rounds en mode manuel
......
......@@ -2,7 +2,7 @@
let quote str = if String.contains str ' ' then ("\""^str^"\"") else str
let rdbg_cmd =
String.concat " " ("rdbg"::(List.tl (List.map quote (Array.to_list Sys.argv)))) ^
" --ocaml-cmd \"#use \\\"daemongui.ml\\\";;\""
" --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\""
let welcome () =
Printf.printf "rdbgui4sasa is a GUI wrapper around rdbg when used with sasa\n";
......
Supports Markdown
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