diff options
| -rw-r--r-- | ide/coqide.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 99b2593087..fe71784b32 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -3436,6 +3436,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S); activate_input index; end; initial_about session_notebook#current_term.proof_view#buffer; + !show_toolbar !current.show_toolbar; session_notebook#current_term.script#misc#grab_focus () ;; |