Hi, long time user of xfce, just upgraded 4.0 -> 4.2. Previously, each pager miniscreen had the name of its workspace showing in the panel, but now there are no text labels. Any way of getting them back? Thanks