mirror of
https://github.com/i3/i3.git
synced 2026-03-01 13:23:36 +00:00
See the issue #3163 (https://github.com/i3/i3/issues/3163). Add strip_workspace_name to strip off the workspace name.
See the issue #3163 (https://github.com/i3/i3/issues/3163). Add strip_workspace_name to strip off the workspace name.