diff options
| author | monate | 2003-04-24 18:08:57 +0000 |
|---|---|---|
| committer | monate | 2003-04-24 18:08:57 +0000 |
| commit | 2f506223d1ae39be28cc6b07960328f6e7a74d15 (patch) | |
| tree | 5f5b0b475d48f2a49c6408c85f1f13cf4f5d9f8c /ide | |
| parent | ddff10ec46e14fb5a14b0cd984a0632dcf6af05d (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3951 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/.coqiderc | 9 | ||||
| -rw-r--r-- | ide/coqide.ml | 8 |
2 files changed, 11 insertions, 6 deletions
diff --git a/ide/.coqiderc b/ide/.coqiderc index 9983cb882b..49181175d3 100644 --- a/ide/.coqiderc +++ b/ide/.coqiderc @@ -22,10 +22,15 @@ widget "*.*.*.*.GoalWindow" style "views" widget "*.*.*.*.MessageWindow" style "views" style "menu" { -font_name = "Serif 10" +font_name = "Sans 12" } +class "GtkLabel" style "menu" -class "GtkLabel" style "menu" +style "location" { +font_name = "Monospace 10" +} +widget "*.*.*.location" style "location" + gtk-key-theme-name = "Emacs" diff --git a/ide/coqide.ml b/ide/coqide.ml index 7ece0ed472..d8a44278d0 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1347,7 +1347,7 @@ Please restart and report NOW."; ~callback:(fun it (m:Gtk.textmark) -> !set_location (Printf.sprintf - "Line: %4d Char: %3d" (self#get_insert#line + 1) + "Line: %5d Char: %3d" (self#get_insert#line + 1) (self#get_insert#line_offset + 1)); match GtkText.Mark.get_name m with | Some "insert" -> @@ -1462,7 +1462,7 @@ let main files = let b = Buffer.create 1024 in with_file f ~f:(input_channel b); let s = do_convert (Buffer.contents b) in - let view = create_input_tab (Filename.basename f) in + let view = create_input_tab (Glib.Convert.filename_to_utf8 (Filename.basename f)) in (match !manual_monospace_font with | None -> () | Some n -> view#misc#modify_font n); @@ -2130,14 +2130,14 @@ let main files = (* Location display *) let l = GMisc.label - ~text:"Line: xxxx Column: xxx" + ~text:"Line: 1 Char: 1" ~packing:lower_hbox#pack () in l#coerce#misc#set_name "location"; set_location := l#set_text; load_pref current; (* Progress Bar *) pulse := - (GRange.progress_bar ~text:"CoqIde started" ~pulse_step:0.1 ~packing:lower_hbox#pack ())#pulse; + (GRange.progress_bar ~text:"CoqIde started" ~pulse_step:0.2 ~packing:lower_hbox#pack ())#pulse; let tv2 = GText.view ~packing:(sw2#add) () in tv2#misc#set_name "GoalWindow"; let _ = tv2#set_editable false in |