From a1477696b5f7296ed7b5552dcf1ab15dee90475d Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 26 Jun 2012 22:25:14 +0000
Subject: Added the show_margin_right option to CoqIDE

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

(limited to 'ide/wg_ScriptView.mli')

diff --git a/ide/wg_ScriptView.mli b/ide/wg_ScriptView.mli
index b229eacfe6..ea55de115a 100644
--- a/ide/wg_ScriptView.mli
+++ b/ide/wg_ScriptView.mli
@@ -18,6 +18,10 @@ object
   method clear_undo : unit -> unit
   method auto_complete : bool
   method set_auto_complete : bool -> unit
+  method right_margin_position : int
+  method set_right_margin_position : int -> unit
+  method show_right_margin : bool
+  method set_show_right_margin : bool -> unit
 end
 
 val script_view : Coq.coqtop ->
-- 
cgit v1.2.3