Rework how set definition files from OPL and Contrib are shown.#2386

Merged

Alex-Jordan merged 3 commits intoopenwebwork:developfrom drgrice1:sets-manager-set-def-list-improvements

Apr 13, 2024

+183-65

Commits on Apr 13, 2024

Rework how set definition files from OPL and Contrib are shown.
drgrice1
committed
Reselect the selected set definition file after re-adding the options.
drgrice1
committed
Also make sure that the selection is preserved on the "Sets Manager"
drgrice1
committed