method clear () =
buffer#delete ~start:buffer#start_iter ~stop:buffer#end_iter
method log_callback (tag: HLog.log_tag) s =
+ let s = Pcre.replace ~pat:"\e\\[0;3.m([^\e]+)\e\\[0m" ~templ:"$1" s in
match tag with
| `Debug -> self#debug (s ^ "\n")
| `Error -> self#error (s ^ "\n")
let main = new mainWin () in
let fileSel = new fileSelectionWin () in
let findRepl = new findReplWin () in
- let newRoot = new newRootWin () in
let keyBindingBoxes = (* event boxes which should receive global key events *)
[ main#mainWinEventBox ]
in
val mutable _ok_not_exists = false
val mutable _only_directory = false
val mutable font_size = default_font_size
- val mutable next_root_must_contain = None
val mutable next_ligatures = []
val clipboard = GData.clipboard Gdk.Atom.clipboard
val primary = GData.clipboard Gdk.Atom.primary
f (); source_view#misc#grab_focus ()
with
exc -> source_view#misc#grab_focus (); raise exc in
- (* add root win *)
- connect_button newRoot#addButton
- (fun () ->
- let name = newRoot#buriEntry#text in
- let root = newRoot#rootEntry#text in
- if next_root_must_contain = Some "xxx" then ();
- HLog.error ("implement me: "^root^" "^name);
- newRoot#buriEntry#set_text "";
- newRoot#rootEntry#set_text "";
- newRoot#toplevel#misc#hide());
- connect_button newRoot#chooseRootButton
- (fun () ->
- let path = self#chooseDir () in
- match path with
- | Some path -> newRoot#rootEntry#set_text path
- | None -> ());
- connect_button newRoot#cancelButton
- (fun () -> newRoot#toplevel#misc#hide ());
- ignore(newRoot#toplevel#event#connect#delete
- (fun _ -> newRoot#toplevel#misc#hide();true));
(* file selection win *)
ignore (fileSel#fileSelectionWin#event#connect#delete (fun _ -> true));
else
begin
script#assignFileName (Some file);
+ let file = script#filename in
let content =
if Sys.file_exists file then file
else BuildTimeConf.script_template
method fileSel = fileSel
method findRepl = findRepl
method main = main
- method newRoot = newRoot
method newBrowserWin () =
object (self)
(* we should check that this is a directory *)
chosen_file
- method createRoot ~containing =
- next_root_must_contain <- containing;
- newRoot#toplevel#misc#show()
-
method askText ?(title = "") ?(msg = "") () =
let dialog = new textDialog () in
dialog#textDialog#set_title title;