diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-02-13 11:14:54 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-02-13 11:15:59 +0100 |
commit | 8f73830d46d985906deadae3059db75772281516 (patch) | |
tree | b993e25a13f7e3d7a0ed3fbb5b4532d6566b04fa /ide/wg_ProofView.mli | |
parent | 7c9938cfbd0cf9093f90b0ee7b856105528c2a87 (diff) |
Selection of the current word in CoqIDE looks at all buffers.
Diffstat (limited to 'ide/wg_ProofView.mli')
-rw-r--r-- | ide/wg_ProofView.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/wg_ProofView.mli b/ide/wg_ProofView.mli index 1fbf9900c..c5e042ea5 100644 --- a/ide/wg_ProofView.mli +++ b/ide/wg_ProofView.mli @@ -9,6 +9,7 @@ class type proof_view = object inherit GObj.widget + method buffer : GText.buffer method refresh : unit -> unit method clear : unit -> unit method set_goals : Interface.goals option -> unit |