Improvements to the vanilla gatom (squashed)

* Initial addition of the gatom extended editing abilities. Shift+click allows for append to the previously entered values, whereas click behaves as it always did. Shift+Backspace when in append mode deletes everything. Dragging number up and down with a mouse now allows for dynamic switching between the shift (fine-grained) and non-shift mode.

* Further refinement to the vanilla numbox, so that it can use the same keyboard shortcuts as the numbox2. Also fixed a crasher from the earlier implementation.

* Disabled debugging

* Activated gatom does not highlight both data and label anymore