Closed KristofferC closed 3 years ago
Technically this should also check whether the plot pane even is enabled
Probably yes. Is there a good way to do that?
Yes, check VSCodeServer.PLOT_PANE_ENABLED[]
.
I don't have much to add as I don't use VSCode, but does the new code work with older versions likely to be around in the wild? Or should check for both symbols and ||
?
I changed it to keep the old check as well.
FWIW, no post-1.0 version of the extension uses the old symbol. Can't hurt to keep the check around though.
Technically this should also check whether the plot pane even is enabled. Would probably be best if VSCode passes an appropriate
IOContext
attribute to allshow
methods it calls?