From 4403ed3860714a15ab89a9b6c5f19bc55f412251 Mon Sep 17 00:00:00 2001 From: Sebastian Pfitzner Date: Thu, 27 Dec 2018 10:57:10 +0100 Subject: [PATCH] insert PlotDisplay directly after REPLDisplay --- src/init.jl | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/init.jl b/src/init.jl index 95aa38d0..e90124a0 100644 --- a/src/init.jl +++ b/src/init.jl @@ -1,3 +1,5 @@ +using REPL + const use_local_dependencies = Ref(false) function __init__() @@ -10,13 +12,14 @@ function __init__() k == :theme || default(k, v) end end - pushdisplay(PlotsDisplay()) + + insert!(Base.Multimedia.displays, findlast(x -> x isa Base.TextDisplay || x isa REPL.REPLDisplay, Base.Multimedia.displays) + 1, PlotsDisplay()) atreplinit(i -> begin - if PlotDisplay() in Base.Multimedia.displays + while PlotDisplay() in Base.Multimedia.displays popdisplay(PlotsDisplay()) end - pushdisplay(PlotsDisplay()) + insert!(Base.Multimedia.displays, findlast(x -> x isa REPL.REPLDisplay, Base.Multimedia.displays) + 1, PlotsDisplay()) end) @require HDF5 = "f67ccb44-e63f-5c2f-98bd-6dc0ccc4ba2f" include(joinpath(@__DIR__, "backends", "hdf5.jl"))