Currently, you have to click on "Get sequence," enter the OEIS number, and then a button for the sequence will pop up, which you then have to click to make it the active sequence. But it's completely just more convenient for the user to immediately make the new sequence the active sequence: it saves a click, and there's no downside because users can always just click on some other sequence if for some reason they don't want it to be active (which they probably do).
katestange
commented
2 years ago
Currently, you have to click on "Get sequence," enter the OEIS number, and then a button for the sequence will pop up, which you then have to click to make it the active sequence. But it's completely just more convenient for the user to immediately make the new sequence the active sequence: it saves a click, and there's no downside because users can always just click on some other sequence if for some reason they don't want it to be active (which they probably do).