diff options
| author |  jnarboux <jnarboux@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-09 09:26:43 +0000 |
|---|---|---|
| committer | jnarboux <jnarboux@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-09 09:26:43 +0000 |
| commit | e80eb9842d2b30a24e78445ae3ee18b5322691aa (patch) | |
| tree | 71068fa92beaf8cfb5d3d073fda23260df44fd2c | |
| parent | 08448ed1cc80dd67b603917880a84491fe526828 (diff) | |
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
| -rw-r--r-- | ide/coqide.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 42e94503e..73fc878b4 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 |