small improvements of the top bar
Merge branch 'development' of https://github.com/pse4/orange-proton into development