Merge branch 'master' into dev

This commit is contained in:
jgmdev 2021-06-08 18:13:50 -04:00
commit b6424b93dc
2 changed files with 3 additions and 3 deletions

View File

@ -18,8 +18,8 @@ local function keymap_macos(keymap)
["alt+k"] = "root:switch-to-down",
["ctrl+w"] = "root:close",
["cmd+tab"] = "root:switch-to-next-tab",
["cmd+shift+tab"] = "root:switch-to-previous-tab",
["ctrl+tab"] = "root:switch-to-next-tab",
["ctrl+shift+tab"] = "root:switch-to-previous-tab",
["cmd+pageup"] = "root:move-tab-left",
["cmd+pagedown"] = "root:move-tab-right",
["alt+1"] = "root:switch-to-tab-1",

View File

@ -12,7 +12,7 @@ local function workspace_files_for(project_dir)
if not info_wsdir then
local ok, err = system.mkdir(workspace_dir)
if not ok then
error("cannot create workspace directory: %s", err)
error("cannot create workspace directory: \"" .. err .. "\"")
end
end
return coroutine.wrap(function()