conda-manager
conda-manager copied to clipboard
Purpose of options button
At the moment, the button in the top right doesn't seem to do anything (and looking at the code, it's not connected to any callback function). Can it be removed?