Jens Peters 6c48db6cee ext/workspaces: log workspace id/name ...

This should help to distinguish between internal and
external ID in the logs.

2025-06-29 21:51:31 +02:00

..

workspace_manager_binding.cpp

ext/workspaces: moved/renamed from wlr/workspaces

2025-06-29 21:51:31 +02:00

workspace_manager.cpp

ext/workspaces: log workspace id/name

2025-06-29 21:51:31 +02:00