druckdev 20b9e3c2a8 Show workspace name instead of index ...

By that workspaces with no indices are displayed as their name instead
of "-1".

2020-07-14 14:33:17 +02:00

..

scripts

Display playing media information

2020-06-25 23:26:28 +02:00

config

Show workspace name instead of index

2020-07-14 14:33:17 +02:00

launch.sh

Multi monitor support

2020-06-25 23:20:08 +02:00