When loading a previously customized and saved workspace, it would be nice to mark it as the currently active one. A checkmark alongside the menu entry would suffice to provide the functionality. With the current behaviour, it's sometimes hard to ...