{-# LINE 2 "./Graphics/UI/Gtk/SourceView/SourceUndoManager.chs" #-}-- -*-haskell-*--- GIMP Toolkit (GTK) SourceUndoManager---- Author : Andy Stewart---- Created: 08 Aug 2010---- Copyright (C) 2010 Andy Stewart---- This library is free software; you can redistribute it and/or-- modify it under the terms of the GNU Lesser General Public-- License as published by the Free Software Foundation; either-- version 2.1 of the License, or (at your option) any later version.---- This library is distributed in the hope that it will be useful,-- but WITHOUT ANY WARRANTY; without even the implied warranty of-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU-- Lesser General Public License for more details.---- |-- Maintainer : gtk2hs-users@lists.sourceforge.net-- Stability : provisional-- Portability : portable (depends on GHC)--moduleGraphics.UI.Gtk.SourceView.SourceUndoManager(-- * Description-- | The 'SourceUndoManager' interface can be implemented to provide custom undo management to a-- 'SourceBuffer'. Use 'sourceBufferSetUndoManager' to install a custom undo manager for a-- particular source buffer.---- Use 'sourceUndoManagerCanUndoChanged' and 'sourceUndoManagerCanRedoChanged' when-- respectively the undo state or redo state of the undo stack has changed.-- * TypesSourceUndoManager,SourceUndoManagerClass,-- * MethodssourceUndoManagerCanUndo,sourceUndoManagerCanRedo,sourceUndoManagerUndo,sourceUndoManagerRedo,sourceUndoManagerBeginNotUndoableAction,sourceUndoManagerEndNotUndoableAction,-- * SignalssourceUndoManagerCanRedoChanged,sourceUndoManagerCanUndoChanged,)whereimportControl.Monad(liftM)importSystem.Glib.AttributesimportSystem.Glib.FFIimportSystem.Glib.PropertiesimportSystem.Glib.UTFStringimportGraphics.UI.Gtk.SourceView.Signals{-# LINE 60 "./Graphics/UI/Gtk/SourceView/SourceUndoManager.chs" #-}importGraphics.UI.Gtk.SourceView.Types{-# LINE 61 "./Graphics/UI/Gtk/SourceView/SourceUndoManager.chs" #-}{-# LINE 63 "./Graphics/UI/Gtk/SourceView/SourceUndoManager.chs" #-}-- | Get whether there are undo operations available.sourceUndoManagerCanUndo::SourceUndoManagerClasssum=>sum->IOBool-- ^ returns 'True' if there are undo operations available, 'False' otherwisesourceUndoManagerCanUndosm=liftMtoBool$(\(SourceUndoManagerarg1)->withForeignPtrarg1$\argPtr1->gtk_source_undo_manager_can_undoargPtr1)(toSourceUndoManagersm)-- | Get whether there are redo operations available.sourceUndoManagerCanRedo::SourceUndoManagerClasssum=>sum->IOBool-- ^ returns 'True' if there are redo operations available, 'False' otherwisesourceUndoManagerCanRedosm=liftMtoBool$(\(SourceUndoManagerarg1)->withForeignPtrarg1$\argPtr1->gtk_source_undo_manager_can_redoargPtr1)(toSourceUndoManagersm)-- | Perform a single undo. Calling this function when there are no undo operations available is an-- error. Use @gtkSourceUndoManagerCanUndo@ to find out if there are undo operations available.sourceUndoManagerUndo::SourceUndoManagerClasssum=>sum->IO()sourceUndoManagerUndosm=(\(SourceUndoManagerarg1)->withForeignPtrarg1$\argPtr1->gtk_source_undo_manager_undoargPtr1)(toSourceUndoManagersm)-- | Perform a single redo. Calling this function when there are no redo operations available is an-- error. Use @gtkSourceUndoManagerCanRedo@ to find out if there are redo operations available.sourceUndoManagerRedo::SourceUndoManagerClasssum=>sum->IO()sourceUndoManagerRedosm=(\(SourceUndoManagerarg1)->withForeignPtrarg1$\argPtr1->gtk_source_undo_manager_redoargPtr1)(toSourceUndoManagersm)-- | Begin a not undoable action on the buffer. All changes between this call and the call to-- @gtkSourceUndoManagerEndNotUndoableAction@ cannot be undone. This function should be-- re-entrant.sourceUndoManagerBeginNotUndoableAction::SourceUndoManagerClasssum=>sum->IO()sourceUndoManagerBeginNotUndoableActionsm=(\(SourceUndoManagerarg1)->withForeignPtrarg1$\argPtr1->gtk_source_undo_manager_begin_not_undoable_actionargPtr1)(toSourceUndoManagersm)-- | Ends a not undoable action on the buffer.sourceUndoManagerEndNotUndoableAction::SourceUndoManagerClasssum=>sum->IO()sourceUndoManagerEndNotUndoableActionsm=(\(SourceUndoManagerarg1)->withForeignPtrarg1$\argPtr1->gtk_source_undo_manager_end_not_undoable_actionargPtr1)(toSourceUndoManagersm)-- | Emitted when the ability to redo has changed.--sourceUndoManagerCanRedoChanged::SourceUndoManagerClasssum=>Signalsum(IO())sourceUndoManagerCanRedoChanged=Signal$connect_NONE__NONE"can-redo-changed"-- | Emitted when the ability to undo has changed.--sourceUndoManagerCanUndoChanged::SourceUndoManagerClasssum=>Signalsum(IO())sourceUndoManagerCanUndoChanged=Signal$connect_NONE__NONE"can-undo-changed"foreignimportccallsafe"gtk_source_undo_manager_can_undo"gtk_source_undo_manager_can_undo::((PtrSourceUndoManager)->(IOCInt))foreignimportccallsafe"gtk_source_undo_manager_can_redo"gtk_source_undo_manager_can_redo::((PtrSourceUndoManager)->(IOCInt))foreignimportccallsafe"gtk_source_undo_manager_undo"gtk_source_undo_manager_undo::((PtrSourceUndoManager)->(IO()))foreignimportccallsafe"gtk_source_undo_manager_redo"gtk_source_undo_manager_redo::((PtrSourceUndoManager)->(IO()))foreignimportccallsafe"gtk_source_undo_manager_begin_not_undoable_action"gtk_source_undo_manager_begin_not_undoable_action::((PtrSourceUndoManager)->(IO()))foreignimportccallsafe"gtk_source_undo_manager_end_not_undoable_action"gtk_source_undo_manager_end_not_undoable_action::((PtrSourceUndoManager)->(IO()))