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
..
2011-08-28 17:44:42 +02:00
2014-04-23 19:49:50 +02:00
2011-09-24 20:10:01 +01:00
2011-09-24 20:10:01 +01:00
2011-09-24 20:10:01 +01:00
2011-09-24 20:10:01 +01:00
2014-04-23 19:49:50 +02:00
2009-10-23 19:53:36 +02:00
2009-06-01 14:59:25 +02:00
2009-10-23 19:53:36 +02:00