diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-17 16:22:57 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-17 16:22:57 +0000 |
commit | ef21e5edea48003aa21a4c0bebb69e0b263a674d (patch) | |
tree | 28d8001b607c8243c7b3f94de2e530cfe39f3ac4 /ide/command_windows.mli | |
parent | f854501ff2777353f5441e401715d3cf4c90bfb0 (diff) |
Fix 2516: Utf8 font in Coqide Command panel
Not perfect, font of unactives command panels won't change on the fly. (As it is for others GtextArea.)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14213 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/command_windows.mli')
-rw-r--r-- | ide/command_windows.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/command_windows.mli b/ide/command_windows.mli index 9a073d38f..1eb118359 100644 --- a/ide/command_windows.mli +++ b/ide/command_windows.mli @@ -7,7 +7,7 @@ (************************************************************************) class command_window : - Coq.coqtop -> + Coq.coqtop -> Preferences.pref ref -> object method new_command : ?command:string -> ?term:string -> unit -> unit method frame : GBin.frame |