diff options
author | Anton Khirnov <anton@khirnov.net> | 2023-01-05 16:14:52 +0100 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2023-01-05 16:14:52 +0100 |
commit | d2fbf3c11fb10c2b76455df2a718a8c8d88bf16d (patch) | |
tree | ddac900d5c993625d2d7ecffbb37635f39a64609 /workspace.lua | |
parent | 8a99126930b902171204fd7e1c5871014ebffa33 (diff) |
utils: add logging functions
Diffstat (limited to 'workspace.lua')
-rw-r--r-- | workspace.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/workspace.lua b/workspace.lua index 9da5e4a..26e2e47 100644 --- a/workspace.lua +++ b/workspace.lua @@ -113,7 +113,7 @@ function Workspace:view(screen, desktop_idx, page_idx) -- take the topmost free one page_idx = desktop.indices_free:pop() if page_idx == nil then - print("No free pages on desktop") + utils.warn('Workspace', 'No free pages on desktop %d', desktop_idx) return end else |