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.

Sign up for GitHub

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

Jump to bottom

Revise the feature panel #23

Open

ekuiter opened this issue Sep 19, 2018 · 0 comments

Labels

client enhancement

Milestone

Owner

ekuiter commented Sep 19, 2018

The feature panel is not really useful right now. Some ideas:

the commands should not be displayed in a horizontal command bar (because most of them are hidden in the overflow menu), but as a button or vertical list of commands
some meta-information should be included (such as analysis results for this feature)
show cross-tree constraints that include this feature or are affected by it

ekuiter added enhancement client labels

ekuiter added this to the Long-term milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment