Ian Douglas Scott 04edd3b909 Add margins for auto-hide panels without exclusive zones ... Works alongside panel changes in https://github.com/pop-os/cosmic-panel/pull/485. We can't set an exclusive zone in the panel, since that would cause all the workspaces to re-layout to make space for it, and also impact workspace capture. Instead, cosmic-workspaces reads the config and adds appropriate margins.		2025-11-13 16:27:28 -08:00
..
mod.rs	Add margins for auto-hide panels without exclusive zones	2025-11-13 16:27:28 -08:00