Additional UI Fixes and Improvements#559

vogti merged 3 commits intomasterpolypheny/Polypheny-DB:masterfrom

ui-fixes-followuppolypheny/Polypheny-DB:ui-fixes-followupCopy head branch name to clipboard