Closed Eloi closed 9 years ago
Allow hiding empty desktops on desktops widget with a configurable option (addresses #102 )
Thanks a lot! Nice feature, sorry about the delayed merge!
Allow hiding empty desktops on desktops widget with a configurable option (addresses #102 )