hwangcc23 2269b2e795 Add strip_workspace_name
See the issue #3163 (https://github.com/i3/i3/issues/3163).

Add strip_workspace_name to strip off the workspace name.
2018-03-11 12:17:42 +08:00
..
2016-11-08 13:46:43 -08:00
2018-03-11 12:17:42 +08:00
2016-10-23 21:09:24 +02:00
2017-12-03 20:25:34 +02:00
2017-11-23 15:41:33 -08:00
2016-10-23 21:09:24 +02:00