-
Notifications
You must be signed in to change notification settings - Fork 23
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
Junk characters in STDOUT output #10
Comments
I am able to reproduce this in Chrome on Windows 10 with the example template. I wonder if it would be an acceptable workaround to simply strip these characters at Line 67 in 1e8d06d
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Using zkrepl to compile code on Chrome on Windows, I see a variable number of invalid characters (appearing as rectangles) show up in the output before the normal output of the compiler. If I scroll down past them, the output is otherwise correct:
I'm not a web expert, but I think the Chrome dev tools are telling me that these are null characters:
This happens for any input, including the initial example zkrepl comes up with. I've seen this in Chrome and Edge on Windows10, but I don't see it on Firefox. I've seen the issue on two different machines with the same OS version, but I don't have any other platforms handy. A friend tried this in Chrome on Linux and Mac and didn't see the issue. Noting that Chrome and Edge share the Chromium rendering engine, I suspect this might be a specific behavior of that engine when running on Windows.
The text was updated successfully, but these errors were encountered: