Cleaned up header docs, refined keypress callbacks

The documentation was cleaned and improved. The up and down keypresses (which push the plane forward and backward along the normal) were refined so that these events only take effect if the mouse cursor is over the widget, and the appropriate interaction events are called.