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

existential block is confusingly displayed #106

Open
rogpeppe opened this issue Apr 3, 2019 · 2 comments
Open

existential block is confusingly displayed #106

rogpeppe opened this issue Apr 3, 2019 · 2 comments

Comments

@rogpeppe
Copy link
Contributor

rogpeppe commented Apr 3, 2019

The existential block is displayed in my browser like this:

image

After some pondering, I think the inner part of the block should show P(c) and Q, and we're seeing some overlaid text, but that's not clear from the display, and without any additional explanatory text, it's hard to know how it's meant to work.

@nomeata
Copy link
Owner

nomeata commented Apr 8, 2019

You can expand the block; the initial width is indeed unfortunate and could be fixed.

@rogpeppe
Copy link
Contributor Author

rogpeppe commented Apr 8, 2019

I don't believe it's possible to expand the block in-place, although it can be dragged onto the canvas and expanded there (although then you need to drag out some connectors to see what the function of the block is).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants