vdk 2.4.0
|
00001 /* -*- Mode: C; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*- */ 00002 /* 00003 * gtkundomanager.h 00004 * This file is part of gtksourceview, but copied from gtk 00005 * 00006 * Copyright (C) 1998, 1999 Alex Roberts, Evan Lawrence 00007 * Copyright (C) 2000, 2001 Chema Celorio, Paolo Maggi 00008 * 00009 * This program is free software; you can redistribute it and/or modify 00010 * it under the terms of the GNU General Public License as published by 00011 * the Free Software Foundation; either version 2 of the License, or 00012 * (at your option) any later version. 00013 * 00014 * This program is distributed in the hope that it will be useful, 00015 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00016 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00017 * GNU General Public License for more details. 00018 * 00019 * You should have received a copy of the GNU General Public License 00020 * along with this program; if not, write to the Free Software 00021 * Foundation, Inc., 59 Temple Place, Suite 330, 00022 * Boston, MA 02111-1307, USA. * * 00023 */ 00024 00025 /* 00026 * Modified by the gtk Team, 1998-2001. See the AUTHORS file for a 00027 * list of people on the gtk Team. 00028 * See the ChangeLog files for a list of changes. 00029 */ 00030 00031 #ifndef __GTK_UNDO_MANAGER_H__ 00032 #define __GTK_UNDO_MANAGER_H__ 00033 00034 #include <vdk/gtksourcebuffer.h> 00035 00036 G_BEGIN_DECLS 00037 00038 #define GTK_TYPE_UNDO_MANAGER (gtk_undo_manager_get_type ()) 00039 #define GTK_UNDO_MANAGER(obj) (GTK_CHECK_CAST ((obj), GTK_TYPE_UNDO_MANAGER, GtkUndoManager)) 00040 #define GTK_UNDO_MANAGER_CLASS(klass) (GTK_CHECK_CLASS_CAST ((klass), GTK_TYPE_UNDO_MANAGER, GtkUndoManagerClass)) 00041 #define GTK_IS_UNDO_MANAGER(obj) (GTK_CHECK_TYPE ((obj), GTK_TYPE_UNDO_MANAGER)) 00042 #define GTK_IS_UNDO_MANAGER_CLASS(klass) (GTK_CHECK_CLASS_TYPE ((klass), GTK_TYPE_UNDO_MANAGER)) 00043 #define GTK_UNDO_MANAGER_GET_CLASS(obj) (GTK_CHECK_GET_CLASS ((obj), GTK_TYPE_UNDO_MANAGER, GtkUndoManagerClass)) 00044 00045 typedef struct _GtkUndoManager GtkUndoManager; 00046 typedef struct _GtkUndoManagerClass GtkUndoManagerClass; 00047 typedef struct _GtkUndoManagerPrivate GtkUndoManagerPrivate; 00048 00049 struct _GtkUndoManager { 00050 GObject base; 00051 00052 GtkUndoManagerPrivate *priv; 00053 }; 00054 00055 struct _GtkUndoManagerClass { 00056 GObjectClass parent_class; 00057 00058 /* Signals */ 00059 void (*can_undo) (GtkUndoManager *um, gboolean can_undo); 00060 void (*can_redo) (GtkUndoManager *um, gboolean can_redo); 00061 }; 00062 00063 GType gtk_undo_manager_get_type (void) G_GNUC_CONST; 00064 00065 GtkUndoManager *gtk_undo_manager_new (GtkSourceBuffer *buffer); 00066 00067 gboolean gtk_undo_manager_can_undo (const GtkUndoManager *um); 00068 gboolean gtk_undo_manager_can_redo (const GtkUndoManager *um); 00069 00070 void gtk_undo_manager_undo (GtkUndoManager *um); 00071 void gtk_undo_manager_redo (GtkUndoManager *um); 00072 00073 int gtk_undo_manager_get_undo_levels (GtkUndoManager *um); 00074 void gtk_undo_manager_set_undo_levels (GtkUndoManager *um, 00075 int undo_levels); 00076 00077 void gtk_undo_manager_begin_not_undoable_action (GtkUndoManager *um); 00078 void gtk_undo_manager_end_not_undoable_action (GtkUndoManager *um); 00079 00080 G_END_DECLS 00081 00082 #endif /* __GTK_UNDO_MANAGER_H__ */