-
-
Notifications
You must be signed in to change notification settings - Fork 92
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
make-visible
not finding unsaved-editor
#707
Comments
That kind of change is the right kind but it doesn't need the |
I see that |
Yeah (and sorry for the multiple comments! I'll stop after this one to wait for a reply), it looks like this commit probably should have been done differently. |
Another attempt to just change |
Thank you! |
Version: 8.15.0.7 [cs]
Related to: d27a480
Given this program in an unsaved editor:
The source link
at line 4, column 0
in the output does not highlightcheck-expect
and does not bring up the current tab, unlike the case for a saved editor:It seems like this change to
find-matching-tab
works around the issue, but I don't know what's the right fix:from:
drracket/drracket/drracket/private/unit.rkt
Lines 3434 to 3442 in 8ffa804
The text was updated successfully, but these errors were encountered: