From e80eb9842d2b30a24e78445ae3ee18b5322691aa Mon Sep 17 00:00:00 2001
From: jnarboux
Date: Mon, 9 Jun 2008 09:26:43 +0000
Subject: more uniform name of app for windows class

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11076 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 42e94503eb..73fc878b41 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3121,8 +3121,8 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 												      ~width:(!current.window_width*2/3)
 												      ~height:(!current.window_height*2/3)
 												      ~position:`CENTER
-												      ~wm_name:"CoqIDE"
-												      ~wm_class:"CoqIDE"
+												      ~wm_name:"CoqIde"
+												      ~wm_class:"CoqIde"
 												      ~title:"Script" 
 												      ~show:true () in
 												    let parent = Option.get nb#misc#parent in
@@ -3146,8 +3146,8 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 												    let nw = GWindow.window 
 												      ~width:(!current.window_width*2/3)
 												      ~height:(!current.window_height*2/3)
-												      ~wm_name:"CoqIDE"
-												      ~wm_class:"CoqIDE"
+												      ~wm_name:"CoqIde"
+												      ~wm_class:"CoqIde"
 												      ~position:`CENTER 
 												      ~title:"Queries" 
 												      ~show:true () in
-- 
cgit v1.2.3