-
Notifications
You must be signed in to change notification settings - Fork 18
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
Issues/feedback related to v0.3 #166
Comments
Can you elaborate on this? |
I think for this point we need a different issue and maybe this can be done by our contractor even? |
Behaviour of the "Instructions" section is inappropriate - it simply toggles between appearing and disappearing when "instructions" is clicked. And also it replaces the output section which loses results of the last run. Maybe we need to think of a better way of handling the instruction section - right now, it just appears to interfering a program's flow of run/debug/prove/verify. |
Maybe we can consider that too; they could have put more thought in their approach here so that it's structured well on the background. It is not entirely about the frontend/can be fixed just on the surface. |
Issues and feedback related v0.3
Tasks
The text was updated successfully, but these errors were encountered: