Merge 9044daf80bf7048e050e522f478736196a5c6bba into 9001d5f3853ad40149fd604e1ae98ce0bff82fae

This commit is contained in:
Michal Sojka 2022-01-04 12:13:15 +01:00 committed by GitHub
commit 487bbd813e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -241,7 +241,7 @@ function __init__()
options.gpviewer = !(
((isdefined(Main, :IJulia) && Main.IJulia.inited) ||
(isdefined(Main, :Juno) && Main.Juno.isactive()) ||
(isdefined(Main, :VSCodeServer)) ||
(isdefined(Main, :VSCodeServer) && Main.VSCodeServer.PLOT_PANE_ENABLED[]) ||
(isdefined(Main, :PlutoRunner)) )
)
if isdefined(Main, :VSCodeServer)