Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Pasting code from editor to empty editor produces Exception #4522
Pasting code from one editor to other empty editor produces following exception.
@benfry This and other weirdness seems to be caused by all Editors sharing a single TokenMarker instance (which lives in Mode). If you switch Editors fast enough, TokenMarker returns some values intended for the other Editor. It would probably take a few hours to figure out what is happening.