Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP Workspace pinning support #1191

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Conversation

ids1024
Copy link
Member

@ids1024 ids1024 commented Jan 31, 2025

Initial compositor-side prototype for pop-os/cosmic-workspaces-epoch#108, using pop-os/cosmic-protocols#48.

This adds a pinned flag for workspaces, which prevents the workspace from being removed automatically when empty, and allows a new workspace after it.

This does not yet persist pinned workspaces. Or allow re-ordering workspaces. We probably want to persist pinned workspaces by monitor and order, with names.

@ids1024 ids1024 force-pushed the workspace-pinning_noble branch 4 times, most recently from 8c3915a to 00b0d49 Compare February 10, 2025 17:11
@ids1024 ids1024 force-pushed the workspace-pinning_noble branch 2 times, most recently from b11388f to 826c805 Compare February 18, 2025 23:06
@ids1024 ids1024 force-pushed the workspace-pinning_noble branch from 826c805 to d2243f0 Compare February 28, 2025 01:56
@ids1024 ids1024 force-pushed the workspace-pinning_noble branch 2 times, most recently from 50166e4 to 3329749 Compare March 12, 2025 16:21
@ids1024 ids1024 force-pushed the workspace-pinning_noble branch 2 times, most recently from 79650bd to f4e35ef Compare March 14, 2025 21:53
@ids1024 ids1024 force-pushed the workspace-pinning_noble branch from f4e35ef to 500074a Compare March 17, 2025 19:04
WIP move_before/after

WIP move workspace

needs testing

workspace_set_idx

If active workspace is moved within set, make sure it stays active

Fix workspace manager version

fix

Use `remove_workspace` for `move_workspace`; and fix behavior
@ids1024 ids1024 force-pushed the workspace-pinning_noble branch from 500074a to f470b85 Compare March 28, 2025 22:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant