ess upgrade fix: switch to new julia buffer before renaming
parent
9d371f7834
commit
e367aa74fd
|
@ -89,7 +89,7 @@ There's no effect in non-session evaluations"
|
||||||
(inferior-julia-args (if inferior-julia-args
|
(inferior-julia-args (if inferior-julia-args
|
||||||
(concat inferior-julia-args start-script-arg)
|
(concat inferior-julia-args start-script-arg)
|
||||||
start-script-arg)))
|
start-script-arg)))
|
||||||
(julia))
|
(switch-to-buffer (julia)))
|
||||||
(rename-buffer
|
(rename-buffer
|
||||||
(if (bufferp session)
|
(if (bufferp session)
|
||||||
(buffer-name session)
|
(buffer-name session)
|
||||||
|
|
Loading…
Reference in New Issue