internal undo/redo handling
allows creating waypoints on the text that may be replayed as commands

(requires external classes: UndoStack,UndoManager)
add key codes as reference
allow key handlers to be installed for any toolbar action. requires unregistering the keys every time the toolbar is hidden
copy & paste handling with key bindings
enhanced dropdownform working with webkit 2.3
webkit 2.3 needs less hacks
define undo waypoints in plugins
rework reundo plugin to allow handling undo on our own
rename cancel button to close button
fix sourcedescription popups
leave values for 'number_of_pages' empty under some conditions (incomplete patch)
undo command implementation for sourcedescription editor, requires UndoManager
avoid events when opening plaintext editor
correct padding for plaintext editor
use correct default image after changing theme directory
correct indent
undo waypoints in main class, handling for all execCommands
compiled js