Tony Crisci e707e0a5fa i3bar: implement custom workspace numbers config
Implement the configuration option within the bar config directive for
custom workspace numbers with the directive `strip_workspace_numbers
yes`.

This directive strips the workspace name of the number prefix and
delimiter. When the workspace name consists only of the number, it will
default to show the number.

For example:

* "2:5" -> "5"
* "4:$" -> "$"
* "8" -> "8"

This allows customization of i3bar for alternate ordering of workspaces
which has a legitimate use for alternate keyboard layouts such as
Dvorak.

fixes #1131
2014-05-16 17:55:30 +02:00
..
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00
2014-01-01 15:06:57 +01:00