On 5/31/22, Dave Serls <dave at dashs.denver.co.us> wrote: > > Very minor annoyance: > The Workspace widget which appears after a "workspace change" event -- > can it be disabled? http://openbox.org/wiki/Help:Configuration#Desktops -- Mikael Magnusson