Add support for GR Plot edit mode

jheinen · Oct 31, 2023 · ed45662 · ed45662
1 parent 98faf7f
commit ed45662
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/GR.jl b/src/GR.jl
@@ -313,7 +313,7 @@ function init(always::Bool = false)
             display_name[] = ENV["GRDISPLAY"]
             if display_name[] == "js" || display_name[] == "pluto" || display_name[] == "js-server"
                 send_c[], recv_c[] = js.initjs()
-            elseif display_name[] == "plot"
+            elseif display_name[] == "plot" || display_name[] == "edit"
                 ENV["GR_PLOT"] = if Sys.iswindows()
                     "set PATH=$(GRPreferences.libpath[]) & \"$(GRPreferences.grplot[])\" --listen"
                 else

diff --git a/src/jlgr.jl b/src/jlgr.jl
@@ -1197,7 +1197,7 @@ function plot_data(flag=true, plt=plt[])
 
     target = GR.displayname()
     if flag && target !== ""
-        if target == "js" || target == "meta" || target == "plot" || target == "pluto" || target == "js-server"
+        if target == "js" || target == "meta" || target == "plot" || target == "edit" || target == "pluto" || target == "js-server"
             send_meta(0)
         else
             send_serialized(target)