1.2.0

Changelog:

• The workspace storing and handling code is rewritten to handle workspaces more flexibly (#17).
• When renaming a workspace the buttons are updated immediately (#15).
• Various other fixes and code cleanup.

Known issues:

• Since much of the code was rewritten/modified there may be regressions.