00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
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
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