Add option to reload document.
Use filemonitor to watch for changes and reload document.
Drop backwards definition of gdk keys.