From 00be8a223790cc54cfb8f3cedadc911e75da857b Mon Sep 17 00:00:00 2001 From: Sebastian Pfitzner Date: Thu, 16 Aug 2018 12:34:33 +0200 Subject: [PATCH] make sure display order is correct if Plots is loaded before the REPL --- src/init.jl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/init.jl b/src/init.jl index 51865535..9cf52741 100644 --- a/src/init.jl +++ b/src/init.jl @@ -9,6 +9,13 @@ function __init__() end pushdisplay(PlotsDisplay()) + atreplinit(i -> begin + if PlotDisplay() in Base.Multimedia.displays + popdisplay(PlotsDisplay()) + end + pushdisplay(PlotsDisplay()) + end) + include(joinpath(@__DIR__, "backends", "plotly.jl")) include(joinpath(@__DIR__, "backends", "gr.jl")) include(joinpath(@__DIR__, "backends", "web.jl"))