diff options
| author | Ronan Pigott <ronan@rjp.ie> | 2022-11-16 15:50:34 -0700 |
|---|---|---|
| committer | Simon Ser <contact@emersion.fr> | 2022-11-26 09:48:58 +0100 |
| commit | 3b49f2782e8faf68766269b9c7390b16e25ae824 (patch) | |
| tree | 599dfdc5a01aea20693b391592d2d2ab81afacd6 /.github | |
| parent | 1c4b94ae3ca94b972410c80a61404a347af1ee68 (diff) | |
launcher: track workspaces by node
This removes the need to rename the pid_workspaces when a workspace
is renamed.
It also opens the possibility of tracking other node types. Tracking
containers would allow application to be placed correctly in the
container tree even if the user has moved their focus elsewhere since
it was launched.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions