From 2de75892efb8c2ab63a3b23767d0cefd0996f8d6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 10 Dec 2012 16:35:28 +0000
Subject: Coqide: some more refactoring to lighten coqide.ml

 Main victim is analyzed_view :
  - some unnecessary methods have been killed (hep_for_keyword for instance)
  - some other migrated elsewhere (recenter_input, find_next_occurrence, ...)
  - analyzed_view is now split in two : fileops (filename, save, revert, ...)
    and coqops (process_next_phrase, ...)

 Four new files created:
 - Sentence (for tag_on_insert and alii)
 - FileOps (ex-first-half of analyzed_view)
 - CoqOps (ex-second-half of analyzed_view)
 - Session (ex-record viewable_script and functions about it)

 Also lots of renaming, trying to be shorter (but still meaningful) and
 more uniform

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16057 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/wg_ScriptView.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/wg_ScriptView.mli')

diff --git a/ide/wg_ScriptView.mli b/ide/wg_ScriptView.mli
index efe33f54d8..4dabe6f332 100644
--- a/ide/wg_ScriptView.mli
+++ b/ide/wg_ScriptView.mli
@@ -24,6 +24,7 @@ object
   method set_show_right_margin : bool -> unit
   method comment : unit -> unit
   method uncomment : unit -> unit
+  method recenter_insert : unit
 end
 
 val script_view : Coq.coqtop ->
-- 
cgit v1.2.3