-
Mathieu Tillet authored
When the workspace is replaced, all of the widgets in the pick tab are reset to a void status, and the tool comes back to pixel select. Also, if the workspace is not integrable, the plot is folded.
eabfe065
When the workspace is replaced, all of the widgets in the pick tab are reset to a void status, and the tool comes back to pixel select. Also, if the workspace is not integrable, the plot is folded.