Skip to content
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.

Sign up for GitHub

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

Jump to bottom

print in browser call redundant (newline) #186

Closed
jcubic opened this issue Oct 21, 2021 · 0 comments
Closed

print in browser call redundant (newline) #186

jcubic opened this issue Oct 21, 2021 · 0 comments
Labels
bug Something isn't working
Milestone
1.0

Comments

@jcubic
Copy link
Owner

jcubic commented Oct 21, 2021

If you call (print 10) in the browser it runs console.log but next, it runs empty newline.

There is a need for some kind of flush mechanism like with web REPL. It can be replaced with jQuery Terminal newline: false but first it needs to be used in the library:

https://github.com/jcubic/lips/blob/master/lib/js/terminal.js
@jcubic jcubic added the bug Something isn't working label Oct 21, 2021
@jcubic jcubic added this to the 1.0 milestone Oct 21, 2021
jcubic added a commit that referenced this issue Oct 28, 2021
@jcubic
fix extra newline in browser #186
8837d2b 
Add Buffered Output Port and flush-output procedure
@jcubic jcubic closed this as completed Oct 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
1.0
Development

No branches or pull requests
1 participant
@jcubic