It’s not just the REPL – if I run julia -e "1"
in a terminal on my Mac, which doesn’t load the REPL (I think?), then it changes the window title permanently to Julia
even after the julia
process exits.
but I can’t figure out where in the Julia code this is done.
PS. See also this thread on how to manually change the window title: Modify Title in REPL window - #11 by Palli