The Workspace Manager must be restarted in order for changes made to the configuration file to take effect.
Choose Restart Workspace Manager from the Workspace menu (press mouse button 3 when the pointer is on the backdrop).