enhanced GUI
Merge branch 'guistuff' of github.com:pjotrompet/stemplersource
werkt beter