diff options
Diffstat (limited to 'ide/wg_ScriptView.mli')
| -rw-r--r-- | ide/wg_ScriptView.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ide/wg_ScriptView.mli b/ide/wg_ScriptView.mli index bc738257c..a2024eeec 100644 --- a/ide/wg_ScriptView.mli +++ b/ide/wg_ScriptView.mli @@ -16,6 +16,8 @@ object method undo : unit -> bool method redo : unit -> bool method clear_undo : unit -> unit + method auto_complete : bool + method set_auto_complete : bool -> unit end val script_view : |