it seems like some of the client.jl code
https://github.com/JuliaLang/julia/blob/master/base/client.jl
should provide the foundation ...
maybe something around active_repl_backend or some active_repl
switching.
also from code comments:
atreplinit(f)
Register a one-argument function to
, 2016 6:27 PM
To: julia-users <julia-users@googlegroups.com>
Subject: Re: [julia-users] Re: Hide and disable REPL
do you know of there are analogs of your process flow
in other VS Code extensions, say the python extension
for VS Code ... ?
it seems that perhaps another V
ent: Tuesday, November 15, 2016 5:29 AM
To: julia-users <julia-users@googlegroups.com>
Subject: Re: [julia-users] Re: Hide and disable REPL
On Friday, November 4, 2016 at 1:28:16 PM UTC-4, David Anthoff wrote:
The complete setup is slightly more complicated, but you can imagine j
On Friday, November 4, 2016 at 1:28:16 PM UTC-4, David Anthoff wrote:
>
>
> The complete setup is slightly more complicated, but you can imagine just
> the following: start a normal julia REPL. Then include a file that will
> start a server listening on some socket. This server is all async,
do you know of there are analogs of your process flow
in other VS Code extensions, say the python extension
for VS Code ... ?
it seems that perhaps another VS Code implementation
would have had to also cross this bridge ... ?
~ cdm
On Monday, November 14, 2016 at 1:27:18 PM UTC-8,
>
>
> *From:* julia-users@googlegroups.com [mailto:julia-users@googlegroups.com]
> *On Behalf Of *Isaiah Norton
> *Sent:* Thursday, November 3, 2016 8:38 PM
> *To:* julia-users@googlegroups.com
> *Subject:* Re: [julia-users] Re: Hide and disable REPL
>
>
>
> Can
-users@googlegroups.com
Subject: Re: [julia-users] Re: Hide and disable REPL
Can you explain the setup further -- Where is the REPL running? How are you
interacting with it? If I take "I want to temporarily switch the REPL off, i.e.
it should visually disappear" literally then it
Can you explain the setup further -- Where is the REPL running? How are you
interacting with it? If I take "I want to temporarily switch the REPL off,
i.e. it should visually disappear" literally then it seems like a strange
thing to do, so I may be missing something
If you *do* want to hide the