Merge choose_command() and choose_param() into generic choose() - #902

Merge choose_command() and choose_param() into generic choose()#902

NSoiffer merged 1 commit into

daisy:maindaisy/MathCAT:mainfrom

moritz-gross:merge-navigate-choose-helpersmoritz-gross/MathCAT:merge-navigate-choose-helpersCopy head branch name to clipboard