Write documentation.

Language Translations.

Fix highlighting problems with GtkExText and GdsEditor.

Might change to GtkEditor once the new API stabilizes. It is a good widget, and is currently getting a lot more development time than GtkExText.