Notable changes

• Added scrolling to list of workspace (when many workspaces are configured)
• Improved contrast of text in certain tooltips