hmm... What I meant by that is that since I try to mimic Leo, i dont
necessarily want the print to output in the log pane, and just have 'print'
output to the stdout/terminal as I already do.
Can you confirm that ctrl+b on scripts that do 'print("blabla")' actualy
does output to the terminal that runs leobridgeserver.py as per the
screenshots in the post above (in the window behind the other one in the
large screenshot)?
I'm asking this because you originally stated :
Nothing seems to happen when the script is print('hello'). I've looked in
the obvious places. Am I missing something?
And i'm a bit confused by what you meant exactly by this... :)
--
Félix
On Sunday, July 5, 2020 at 5:56:51 AM UTC-4, Edward K. Ream wrote:
>
> On Sat, Jul 4, 2020 at 2:10 PM Félix <[email protected] <javascript:>>
> wrote:
>
> > In Leo, print does nothing as far I as I can tell. (i've wondered since
> 2002 when i discovered Leo why print is not redirected to g.es by default)
> ...
>
> Both print and g.trace print to the console, provided that you run Leo
> from a console, which I always do.
>
> > In leoInteg, print outputs on the stdout as would any script., so it's
> visible in the leobridgeserver.py terminal output.
>
> leoGlobals.py defines the g.RedirectClass class and several convenience
> functions. These redirect g.es to the Leo's log pane.
>
> At present Leo's bridge calls neither g.redirectStderr() nor
> redirectStdout(). It may be possible to do that from the leoInteg end, but
> if not I could add more keywords to BridgeController's ctor to do the
> redirection.
>
> I do see Leo's log pane in vs-code, so I suspect just calling
> g.redirectStderr() or redirectStdout() should suffice.
>
> Edward
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/f45bd397-450f-436f-96d0-1dd41efec243o%40googlegroups.com.
