diff options
Diffstat (limited to 'ide/wg_ScriptView.mli')
| -rw-r--r-- | ide/wg_ScriptView.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/wg_ScriptView.mli b/ide/wg_ScriptView.mli index e94ce4904a..efe33f54d8 100644 --- a/ide/wg_ScriptView.mli +++ b/ide/wg_ScriptView.mli @@ -13,8 +13,8 @@ type source_view = [ Gtk.text_view | `sourceview ] Gtk.obj class script_view : source_view -> Coq.coqtop -> object inherit GSourceView2.source_view - method undo : unit -> bool - method redo : unit -> bool + method undo : unit -> unit + method redo : unit -> unit method clear_undo : unit -> unit method auto_complete : bool method set_auto_complete : bool -> unit |