Open bbidulock opened 4 years ago
This is here so I don't forget it.
When reloading (e.g. as a result of a theme change), panels will overlap the dock (in tiling modes), whereas, before the reload, the dock got out of the way of panels. This is annoying.
This is here so I don't forget it.
When reloading (e.g. as a result of a theme change), panels will overlap the dock (in tiling modes), whereas, before the reload, the dock got out of the way of panels. This is annoying.