04edd3b909
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. |
||
|---|---|---|
| .. | ||
| backend | ||
| view | ||
| widgets | ||
| dbus.rs | ||
| desktop_info.rs | ||
| dnd.rs | ||
| localize.rs | ||
| main.rs | ||
| utils.rs | ||