-
Notifications
You must be signed in to change notification settings - Fork 95
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 try haskell on Android #253
Conversation
Cherrypicked fix provided in chrisdone-archive/jquery-console#71
For me, on desktop, it doesn't seem to allow entering space or numerals. |
Oh, man, then it's not as easy as applying the suggested fix. Will take a look :D |
I pushed a change where copied the file from the fork over as is. The result seems to be that it's working on Android and Desktop. On Android sometimes the number input seems to be a bit flaky, but better than before. Before I could confirm the same behavior you described. Why didn't I do this in the first place? The fork has some formatting chances, so I thought I could only use the lines that fix logic. But also: The file of the fork has 845 lines while the file in the haskell-infra repository has only 750 lines. The difference is significant. I haven't looked into it and don't know if these differences are improvements, or code that was actively stripped away to run it on haskell.org. I'd first test the current experience, if it's a fix at all, and then the difference should be investigated. |
The latest version seems to be fine on desktop. |
extern.promptText(""); | ||
}; | ||
|
||
function clearScreen() { |
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.
ℹ️ This change is coming from this commit: chrisdone-archive/jquery-console@3d405bf
|
||
//////////////////////////////////////////////////////////////////////// | ||
// Report some message into the console | ||
function report(msg, className) { |
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.
ℹ️ This change is coming from this commit: chrisdone-archive/jquery-console@c8812e4
I compared the changes other changes in Btw. ignoring white space helps a lot with github's diff. |
@tomjaguarpaw Good to merge? |
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.
Makes sense to me, but would be great to have @tomjaguarpaw give it a quick test too.
When I tried it on desktop it was fine so let's give this a go. I don't really understand how it works, but if anyone spots any problems after merge we can always roll back. |
Exactly. Thanks for merging |
Thanks for contributing! |
Fix
Cherrypicked fix provided in chrisdone-archive/jquery-console#71.
Tested on desktop, iOS, and Android - with Android now working. There is also another comment confirming the fix.
Fixes #252
Review
I would welcome another person making sure "try it" is still working on desktop as before (comparing with currently deployed https://haskell.org).
Hint for review: I needed to change the listening host to
0.0.0.0
in order to be able to access the local dev server via my mobile device in the same network.Demo
Record_2023-02-03-19-54-48.mp4