gtksourceundomanager.h

00001 /* -*- Mode: C; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*- */
00002 /*
00003  * gtksourceundomanager.h
00004  * This file is part of GtkSourceView
00005  *
00006  * Copyright (C) 1998, 1999 Alex Roberts, Evan Lawrence
00007  * Copyright (C) 2000, 2001 Chema Celorio, Paolo Maggi 
00008  * Copyright (C) 2002, 2003 Paolo Maggi 
00009  *
00010  * This program is free software; you can redistribute it and/or modify
00011  * it under the terms of the GNU General Public License as published by
00012  * the Free Software Foundation; either version 2 of the License, or
00013  * (at your option) any later version.
00014  *
00015  * This program is distributed in the hope that it will be useful,
00016  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00017  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00018  * GNU General Public License for more details.
00019  *
00020  * You should have received a copy of the GNU General Public License
00021  * along with this program; if not, write to the Free Software
00022  * Foundation, Inc., 51 Franklin Street, Fifth Floor, 
00023  * Boston, MA 02111-1301, USA. * *
00024  */
00025  
00026 #ifndef __GTK_SOURCE_UNDO_MANAGER_H__
00027 #define __GTK_SOURCE_UNDO_MANAGER_H__
00028 
00029 #include <gtk/gtktextbuffer.h>
00030 
00031 #define GTK_SOURCE_TYPE_UNDO_MANAGER                (gtk_source_undo_manager_get_type ())
00032 #define GTK_SOURCE_UNDO_MANAGER(obj)            (GTK_CHECK_CAST ((obj), GTK_SOURCE_TYPE_UNDO_MANAGER, GtkSourceUndoManager))
00033 #define GTK_SOURCE_UNDO_MANAGER_CLASS(klass)        (GTK_CHECK_CLASS_CAST ((klass), GTK_SOURCE_TYPE_UNDO_MANAGER, GtkSourceUndoManagerClass))
00034 #define GTK_SOURCE_IS_UNDO_MANAGER(obj)         (GTK_CHECK_TYPE ((obj), GTK_SOURCE_TYPE_UNDO_MANAGER))
00035 #define GTK_SOURCE_IS_UNDO_MANAGER_CLASS(klass)     (GTK_CHECK_CLASS_TYPE ((klass), GTK_SOURCE_TYPE_UNDO_MANAGER))
00036 #define GTK_SOURCE_UNDO_MANAGER_GET_CLASS(obj)      (GTK_CHECK_GET_CLASS ((obj), GTK_SOURCE_TYPE_UNDO_MANAGER, GtkSourceUndoManagerClass))
00037 
00038 
00039 typedef struct _GtkSourceUndoManager            GtkSourceUndoManager;
00040 typedef struct _GtkSourceUndoManagerClass   GtkSourceUndoManagerClass;
00041 
00042 typedef struct _GtkSourceUndoManagerPrivate     GtkSourceUndoManagerPrivate;
00043 
00044 struct _GtkSourceUndoManager
00045 {
00046     GObject base;
00047     
00048     GtkSourceUndoManagerPrivate *priv;
00049 };
00050 
00051 struct _GtkSourceUndoManagerClass
00052 {
00053     GObjectClass parent_class;
00054 
00055     /* Signals */
00056     void (*can_undo) (GtkSourceUndoManager *um, gboolean can_undo);
00057         void (*can_redo) (GtkSourceUndoManager *um, gboolean can_redo);
00058 };
00059 
00060 GType               gtk_source_undo_manager_get_type    (void) G_GNUC_CONST;
00061 
00062 GtkSourceUndoManager*   gtk_source_undo_manager_new         (GtkTextBuffer      *buffer);
00063 
00064 gboolean        gtk_source_undo_manager_can_undo    (const GtkSourceUndoManager *um);
00065 gboolean        gtk_source_undo_manager_can_redo    (const GtkSourceUndoManager *um);
00066 
00067 void            gtk_source_undo_manager_undo        (GtkSourceUndoManager   *um);
00068 void            gtk_source_undo_manager_redo        (GtkSourceUndoManager   *um);
00069 
00070 void            gtk_source_undo_manager_begin_not_undoable_action 
00071                                 (GtkSourceUndoManager   *um);
00072 void            gtk_source_undo_manager_end_not_undoable_action 
00073                                 (GtkSourceUndoManager   *um);
00074 
00075 gint            gtk_source_undo_manager_get_max_undo_levels 
00076                                 (GtkSourceUndoManager   *um);
00077 void            gtk_source_undo_manager_set_max_undo_levels 
00078                                 (GtkSourceUndoManager   *um,
00079                                      gint            undo_levels);
00080 
00081 #endif /* __GTK_SOURCE_UNDO_MANAGER_H__ */
00082 
00083