gui tweak: adding margin around processing dialogs
Merge pull request #1003 from rduivenvoorde/processingtweaks

gui tweak: adding margin around processing dialogs