From aba5307d448d60e46d469d81d253b96f9d3e35f6 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sat, 5 May 2012 23:51:09 +0000
Subject: Renamed Undo to conform to CoqIDE widget naming convention. In
 addition, made various hack to handle GtkSourceView built-in undo/redo and
 made method types and names more compliant with the one of Gtk.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15280 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/undo.mli | 44 --------------------------------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 ide/undo.mli

(limited to 'ide/undo.mli')

diff --git a/ide/undo.mli b/ide/undo.mli
deleted file mode 100644
index b6a59ba756..0000000000
--- a/ide/undo.mli
+++ /dev/null
@@ -1,44 +0,0 @@
-(************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2010     *)
-(*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
-(************************************************************************)
-
-(* An undoable view class *)
-
-type source_view = [ Gtk.text_view | `sourceview ] Gtk.obj
-
-class undoable_view : source_view ->
-object
-  inherit GSourceView2.source_view
-  method undo : bool
-  method redo : bool
-  method clear_undo : unit
-end
-
-val undoable_view :
-           ?source_buffer:GSourceView2.source_buffer ->
-           ?draw_spaces:SourceView2Enums.source_draw_spaces_flags list ->
-           ?auto_indent:bool ->
-           ?highlight_current_line:bool ->
-           ?indent_on_tab:bool ->
-           ?indent_width:int ->
-           ?insert_spaces_instead_of_tabs:bool ->
-           ?right_margin_position:int ->
-           ?show_line_marks:bool ->
-           ?show_line_numbers:bool ->
-           ?show_right_margin:bool ->
-           ?smart_home_end:SourceView2Enums.source_smart_home_end_type ->
-           ?tab_width:int ->
-           ?editable:bool ->
-           ?cursor_visible:bool ->
-           ?justification:GtkEnums.justification ->
-           ?wrap_mode:GtkEnums.wrap_mode ->
-           ?accepts_tab:bool ->
-           ?border_width:int ->
-           ?width:int ->
-           ?height:int ->
-           ?packing:(GObj.widget -> unit) ->
-           ?show:bool -> unit -> undoable_view
-- 
cgit v1.2.3