-
Notifications
You must be signed in to change notification settings - Fork 35
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
Fix crashes in Release build #63
Conversation
Any updates? It think this fix is simpler than putting lots of |
Editor.Markers.Clear(); | ||
await Editor.SetModelMarkersAsync("CodeEditor", Array.Empty<IMarkerData>()); |
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.
Wouldn't we need only one and not the other? Trying to remember why the original line was commented out now.
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.
Think this is the resolution to #62, but not sure why the next line wasn't accomplishing the same thing...
Got busy at work last month, but want to get back to this soon. Just not sure how to approach reconciling the two PRs. Would be a bit easier I think to have this based off of the existing changes in #48 and merge into that first instead. The JsonIgnores are still useful as we don't need to be serializing those properties anyway. |
The JsonConverter |
Rebased and merged this in to my prep branch. Thanks! |
Seems that it's a bug of .NET Native compiler. It failed to propagate JsonConverter from interface to implementation classes.
Also, I bumped some dependencies.
Fixes #60.