5 class editor ?packing ?show () =
6 let text = GEdit.text ~editable:true ?packing ?show () in
8 inherit GObj.widget text#as_widget
10 val mutable filename = None
14 method load_file name =
16 let ic = open_in name in
17 filename <- Some name;
19 text#delete_text ~start:0 ~stop:text#length;
20 let buf = String.create 1024 and len = ref 0 in
21 while len := input ic ~buf ~pos:0 ~len:1024; !len > 0 do
22 if !len = 1024 then text#insert buf
23 else text#insert (String.sub buf ~pos:0 ~len:!len)
30 method open_file () = File.dialog ~title:"Open" ~callback:self#load_file ()
33 File.dialog ~title:"Save" ?filename () ~callback:
36 if Sys.file_exists name then Sys.rename ~src:name ~dst:(name ^ "~");
37 let oc = open_out name in
38 output_string oc (text#get_chars ~start:0 ~stop:text#length);
40 with _ -> prerr_endline "Save failed"
46 class editor_window ?(show=false) () =
47 let window = GWindow.window ~width:500 ~height:300
48 ~title:"Program Editor" () in
49 let vbox = GPack.vbox ~packing:window#add () in
51 let menubar = GMenu.menu_bar ~packing:vbox#pack () in
52 let factory = new GMenu.factory menubar in
53 let accel_group = factory#accel_group
54 and file_menu = factory#add_submenu "File"
55 and edit_menu = factory#add_submenu "Edit"
56 and comp_menu = factory#add_submenu "Compiler" in
58 let hbox = GPack.hbox ~packing:vbox#add () in
60 GRange.scrollbar `VERTICAL ~packing:(hbox#pack ~from:`END) ()
61 and editor = new editor ~packing:hbox#add () in
63 inherit GObj.widget window#as_widget
65 method window = window
66 method editor = editor
67 method show = window#show
70 window#connect#destroy ~callback:Main.quit;
71 let factory = new GMenu.factory file_menu ~accel_group in
72 factory#add_item "Open..." ~key:_O ~callback:editor#open_file;
73 factory#add_item "Save..." ~key:_S ~callback:editor#save_file;
74 factory#add_item "Shell"
75 ~callback:(fun () -> Shell.f ~prog:"ocaml" ~title:"Objective Caml Shell");
76 factory#add_separator ();
77 factory#add_item "Quit" ~key:_Q ~callback:window#destroy;
78 let factory = new GMenu.factory edit_menu ~accel_group in
79 factory#add_item "Copy" ~key:_C ~callback:editor#text#copy_clipboard;
80 factory#add_item "Cut" ~key:_X ~callback:editor#text#cut_clipboard;
81 factory#add_item "Paste" ~key:_V ~callback:editor#text#paste_clipboard;
82 factory#add_separator ();
83 factory#add_check_item "Word wrap" ~active:false
84 ~callback:editor#text#set_word_wrap;
85 factory#add_check_item "Read only" ~active:false
86 ~callback:(fun b -> editor#text#set_editable (not b));
87 let factory = new GMenu.factory comp_menu ~accel_group in
88 factory#add_item "Lex" ~key:_L
89 ~callback:(fun () -> Lexical.tag editor#text);
90 window#add_accel_group accel_group;
91 editor#text#set_vadjustment scrollbar#adjustment;
92 if show then self#show ()
97 if Array.length Sys.argv >= 2 && Sys.argv.(1) = "-shell" then
98 Shell.f ~prog:"ocaml" ~title:"Objective Caml Shell"
100 ignore (new editor_window ~show:true ());