-
Notifications
You must be signed in to change notification settings - Fork 17
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
Pipeline/state #96
Pipeline/state #96
Conversation
…editor and margin
…ted OnDocumentTabClosed (TODO save+notify)
…into pipeline/state
Doesn't quite refresh correctly, but there's back-and-forth going on between the editor and the server when a code document is modified, and that's what I wanted to see at this stage. Margin displays an appropriate icon for diagnostics, but icon isn't actionable. Text markers clear correctly on change, but not the icons in the margin, and foldings do not seem to load consistently - possible race condition in state assignment. |
Objectives: