From ef21e5edea48003aa21a4c0bebb69e0b263a674d Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 17 Jun 2011 16:22:57 +0000
Subject: 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
---
 ide/command_windows.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/command_windows.mli')

diff --git a/ide/command_windows.mli b/ide/command_windows.mli
index 9a073d38f7..1eb118359c 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
-- 
cgit v1.2.3