Real edge case. Loading a workspace that has been saved then attempting to edit (in the Swing GUI) a completely new function e.g.
)funcs edit f 1
Pops up the window, but there is no reference to the workspace set, so saved cause an NPE. This is because the workspace is reset on deserialization. Just set it.
Real edge case. Loading a workspace that has been saved then attempting to edit (in the Swing GUI) a completely new function e.g.
)funcs edit f 1
Pops up the window, but there is no reference to the workspace set, so saved cause an NPE. This is because the workspace is reset on deserialization. Just set it.