• Mathieu Tillet's avatar
    Reset picktab when replacing workspace · eabfe065
    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.