Show workspace name in TE editor, fixes #481 (osx)