Improve new problem selection UI#13

smilebank7 merged 1 commit into

mainopenmath2/OpenMath:mainfrom

codex/new-problem-selection-uiopenmath2/OpenMath:codex/new-problem-selection-uiCopy head branch name to clipboard