FormEditor
-----------
* Add a spinbutton element.
* Add a checkbutton element.
* Add preferences for all element types.
* Implement XML export/import.
* Implement undo/redo.

TextEditor
-----------
* Add support for annotating ranges of text.
* Do not allow for editing annotations if the TextEditor is not editable.

All over
---------
* Create documentation.
