<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Graphics.UI.Gtk.SourceView.SourceUndoManager</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Graphics.UI.Gtk.SourceView.SourceUndoManager</p></div><div id="interface"><h1>Description
</h1><h1>Types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#t:SourceUndoManager" target="main">SourceUndoManager</a> </p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#t:SourceUndoManagerClass" target="main">SourceUndoManagerClass</a> o</p></div><h1>Methods
</h1><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerCanUndo" target="main">sourceUndoManagerCanUndo</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerCanRedo" target="main">sourceUndoManagerCanRedo</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerUndo" target="main">sourceUndoManagerUndo</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerRedo" target="main">sourceUndoManagerRedo</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerBeginNotUndoableAction" target="main">sourceUndoManagerBeginNotUndoableAction</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerEndNotUndoableAction" target="main">sourceUndoManagerEndNotUndoableAction</a></p></div><h1>Signals
</h1><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerCanRedoChanged" target="main">sourceUndoManagerCanRedoChanged</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-Gtk-SourceView-SourceUndoManager.html#v:sourceUndoManagerCanUndoChanged" target="main">sourceUndoManagerCanUndoChanged</a></p></div></div></body></html>
