Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat/populate todo comments modal #322

Merged
merged 13 commits into from
Feb 26, 2025
Merged
Prev Previous commit
Next Next commit
chore: improve syntax/wrapping of long args
tauraamui committed Feb 26, 2025

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
commit 6594dc3bbaa5457b37c3f02248257d19474c8358
3 changes: 2 additions & 1 deletion src/lib/workspace/workspace.v
Original file line number Diff line number Diff line change
@@ -36,7 +36,8 @@ pub fn open_workspace(mut _log Logger,
dir_walker fn (path string, f fn (string)),
config_dir fn () !string,
read_file fn (path string) !string,
execute fn (cmd string) os.Result) !Workspace {
execute fn (cmd string) os.Result
) !Workspace {
path := root_path
if !is_dir(path) {
return error('${path} is not a directory')