copy-pasting appears to work fine

needs verification on Linux and Windows and also a native OS X build
also on my todo list before releasing: fix the undo/redo system. When
invalid values have been entered, ensure that no further errors can be
introduced by desensitizing all other widgets. Also restore support for
the undo button in this case: make it possible to go back to the last
acceptable value