diff options
| -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 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 |