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

Printed output is stripped of spaces #120

Open

balaziks opened this issue Jan 9, 2020 · 1 comment

balaziks commented Jan 9, 2020

?-write(' '), write('test'), write(' '). prints only test to the output window.

This (together with #119) makes for example pretty-printing trees like this

    g
  c
    f
a
    e
  b
    d

rather inconvenient.

The text was updated successfully, but these errors were encountered:

balaziks mentioned this issue

tab/1 is sandboxed and can't be run #119

Closed

JeanChristopheRohner commented May 22, 2021

An option is to use html/1 to print some white characters, like this:
html(span(style('color:rgb(255, 255, 255)'), 'xxxx')
Hope that helps!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment