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

grouping in menu #139

Open
amonks opened this issue Apr 19, 2024 · 1 comment · May be fixed by #134
Open

grouping in menu #139

amonks opened this issue Apr 19, 2024 · 1 comment · May be fixed by #134
Assignees
Labels
idea Maybe we should build something like this? needs thought We have some decisions to make before moving on this.

Comments

@amonks
Copy link
Owner

amonks commented Apr 19, 2024

idea from @jellevandenhooff:

Some grouping or dependency information in the TUI sidebar. Could the top-level task(s) somehow stand out? I suppose a natural hierarchy is tricky to make when a dependency is used by many different tasks.

@amonks amonks added needs thought We have some decisions to make before moving on this. idea Maybe we should build something like this? labels Apr 19, 2024
@amonks
Copy link
Owner Author

amonks commented Apr 19, 2024

yes yes yes!

as part of the Big Forthcoming Change, I'd like to add a task-browser UI if you invoke run with no arguments (#57).

But instead of making a separate task-browsing mode, I expect to always* show all tasks in the left menu, with sections for (1) requested/root tasks, (2) active/dependency tasks, and (3) inactive tasks, so that you can select an inactive task and start it along with its dependencies.

I've gotten as far as making the runner support add/remove-root operations (I expect this new API to ship in 1.0), but I haven't gotten into the ui work yet (this may end up following after 1.0).

*maybe not always visible but always available, subject to Responsive Design

amonks added a commit that referenced this issue Apr 19, 2024
closes #96
closes #72
closes #129

todo:
close #126
close #57
close #139
amonks added a commit that referenced this issue Apr 22, 2024
closes #96
closes #72
closes #129

todo:
close #126
close #57
close #139
@amonks amonks self-assigned this Apr 23, 2024
amonks added a commit that referenced this issue Apr 23, 2024
closes #96
closes #72
closes #129

todo:
close #57
close #139
amonks added a commit that referenced this issue Apr 25, 2024
closes #96
closes #72
closes #129

todo:
close #57
close #139
@amonks amonks linked a pull request Apr 25, 2024 that will close this issue
amonks added a commit that referenced this issue Jul 29, 2024
closes #96
closes #72
closes #129

todo:
close #57
close #139
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
idea Maybe we should build something like this? needs thought We have some decisions to make before moving on this.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant