-
Notifications
You must be signed in to change notification settings - Fork 928
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
Vyper improvement patches. #4645
Conversation
✅ Deploy Preview for remixproject ready!
To edit notification comments on pull requests, go to your Netlify site configuration. |
f155024
to
f341e73
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The badge update is for the icon panel right? But I don't see any change there - although it does look fine. The spinner change is fine.
The change in this PR is awareness of when a different file is selected than the one that was compiled, it resets the compilation state. |
OK - this PR works - but it is leaving out 1 thing: |
Ok. Can we merge this PR so I make any other changes in another PR? |
1113223
to
b2a6a1d
Compare
467253a
to
b270b77
Compare
address #4537 issues including: