Resubmitted: improvements to the vanilla gatom editing abilities
-
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