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.

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

show generic label of input/output ports as tooltips #58

Open
mohrm opened this issue Oct 4, 2015 · 3 comments
Open

show generic label of input/output ports as tooltips #58

mohrm opened this issue Oct 4, 2015 · 3 comments
Labels
UI

Comments

@mohrm
Copy link
Collaborator

mohrm commented Oct 4, 2015

This would be cool because then I don't have to look into the blocks area or draw dummy connections if I just want to see how this block worked again...
@nomeata
Copy link
Owner

nomeata commented Oct 4, 2015

Isn’t this a duplicate of #24? Or do you want the propositions before unification to be visible?

@mohrm
Copy link
Collaborator Author

mohrm commented Oct 4, 2015

Yes, I mean before unification...

@nomeata
Copy link
Owner

nomeata commented Oct 4, 2015

Ok. Should not be hard, the data is already there in the logic and just needs to be added to the Analysis and then used in the UI to set the title attribute of the port.

I’d rather hoped that it would not be required to show this low-level informatoin to the user, but that’s probably too optimistic.

@nomeata nomeata added the UI label May 20, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
UI
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nomeata @mohrm