With WebKit, you get undo/redo functionality for free, as long as you don't programmatically manipulate the DOM. If you programmatically manipulate the DOM, you need to implement undo/redo yourself (see this page<https://developer.apple.com/library/mac/#documentation/Cocoa/Conceptual/DisplayWebContent/Tasks/UsingUndo.html%23//apple_ref/doc/uid/TP40001473-CJBEHAAG> from the Objective-C programming guide).
However, I can't seem to find a way to access the UndoManager in WebKitGTK+. WebView exposes the methods "can_undo/redo" and "undo/redo", and the signals "undo/redo", but nothing that gives me access to the UndoManager itself. Is the UndoManager just not available through WebKitGTK+? Am I approaching this the wrong way? - Matthew
_______________________________________________ webkit-gtk mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk
