gtksourceundomanager.h
1 /* -*- Mode: C; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*- */
2 /*
3  * gtksourceundomanager.h
4  * This file is part of GtkSourceView
5  *
6  * Copyright (C) 1998, 1999 Alex Roberts, Evan Lawrence
7  * Copyright (C) 2000, 2001 Chema Celorio, Paolo Maggi
8  * Copyright (C) 2002, 2003 Paolo Maggi
9  *
10  * This program is free software; you can redistribute it and/or modify
11  * it under the terms of the GNU General Public License as published by
12  * the Free Software Foundation; either version 2 of the License, or
13  * (at your option) any later version.
14  *
15  * This program is distributed in the hope that it will be useful,
16  * but WITHOUT ANY WARRANTY; without even the implied warranty of
17  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18  * GNU General Public License for more details.
19  *
20  * You should have received a copy of the GNU General Public License
21  * along with this program; if not, write to the Free Software
22  * Foundation, Inc., 51 Franklin Street, Fifth Floor,
23  * Boston, MA 02111-1301, USA. * *
24  */
25 
26 #ifndef __GTK_SOURCE_UNDO_MANAGER_H__
27 #define __GTK_SOURCE_UNDO_MANAGER_H__
28 
29 #include <gtk/gtk.h>
30 
31 #define GTK_SOURCE_TYPE_UNDO_MANAGER (gtk_source_undo_manager_get_type())
32 #define GTK_SOURCE_UNDO_MANAGER(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), GTK_SOURCE_TYPE_UNDO_MANAGER, GtkSourceUndoManager))
33 #define GTK_SOURCE_UNDO_MANAGER_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST((klass), GTK_SOURCE_TYPE_UNDO_MANAGER, GtkSourceUndoManagerClass))
34 #define GTK_SOURCE_IS_UNDO_MANAGER(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), GTK_SOURCE_TYPE_UNDO_MANAGER))
35 #define GTK_SOURCE_IS_UNDO_MANAGER_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), GTK_SOURCE_TYPE_UNDO_MANAGER))
36 #define GTK_SOURCE_UNDO_MANAGER_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS((obj), GTK_SOURCE_TYPE_UNDO_MANAGER, GtkSourceUndoManagerClass))
37 
38 
41 
42 typedef struct _GtkSourceUndoManagerPrivate GtkSourceUndoManagerPrivate;
43 
45 {
46  GObject base;
47 
48  GtkSourceUndoManagerPrivate *priv;
49 };
50 
52 {
53  GObjectClass parent_class;
54 
55  /* Signals */
56  void (*can_undo) (GtkSourceUndoManager *um, gboolean can_undo);
57  void (*can_redo) (GtkSourceUndoManager *um, gboolean can_redo);
58 };
59 
60 GType gtk_source_undo_manager_get_type (void) G_GNUC_CONST;
61 
62 GtkSourceUndoManager* gtk_source_undo_manager_new (GtkTextBuffer *buffer);
63 
64 gboolean gtk_source_undo_manager_can_undo (const GtkSourceUndoManager *um);
65 gboolean gtk_source_undo_manager_can_redo (const GtkSourceUndoManager *um);
66 
67 void gtk_source_undo_manager_undo (GtkSourceUndoManager *um);
68 void gtk_source_undo_manager_redo (GtkSourceUndoManager *um);
69 
70 void gtk_source_undo_manager_begin_not_undoable_action
72 void gtk_source_undo_manager_end_not_undoable_action
74 
75 gint gtk_source_undo_manager_get_max_undo_levels
77 void gtk_source_undo_manager_set_max_undo_levels
79  gint undo_levels);
80 
81 #endif /* __GTK_SOURCE_UNDO_MANAGER_H__ */
82 
83