Reproduce: 1) Right click on the pager, select Properties 2) Check "Show workspaces names" 3) Log out/log in Observed behaviour: The pager does not show the workspaces names anymore, even if the option is still set in the settings dialog. Expected behavior: The pager shows the workspace names.
Fixed in revision 28652.