diff options
| author | Anton Khirnov <anton@khirnov.net> | 2020-11-07 12:36:24 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2020-11-07 12:36:24 +0100 |
| commit | 3898ab82c2b9714259426cd62f73289468bfa0aa (patch) | |
| tree | bcf41fcddd170848780fa06b6833fcda86256956 /workspace.lua | |
| parent | e9a85f8048e2916f4907d80181830562f1615567 (diff) | |
pager: display more information in the title
Diffstat (limited to 'workspace.lua')
| -rw-r--r-- | workspace.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/workspace.lua b/workspace.lua index bd16161..71bfaa7 100644 --- a/workspace.lua +++ b/workspace.lua @@ -10,6 +10,7 @@ function Workspace:add_desktop(idx, name, nb_pages) local desk = object() desk.name = name + desk.idx = idx desk.pages = {} desk.indices_free = stack.Stack:new() |