Made a small change to the formatter /code style. Please re-import to it
to make it functional again. This *should* fix som ugliness in the
workspacetab source...