i tested it after installing libgtk-3-0 libgtk-3-common from proposed. i can confirm that the gnome-terminal settings custom font now shows only "ubuntu mono" when "ubuntu" is typed into the search box and therefore solves the issue.
nevertheless, note that this is still different than what we see in focal, namely typing "ubuntu" into the search shows ubuntu mono {regular, italics, bold, bold-italics}. it's probably fine to allow selecting only the regular font since italics is useless as a terminal font and bold is used for emphasis anyway...
packages installed: libgtk-3-common (3.24.23-1ubuntu1.1) over (3.24.23-1ubuntu1), libgtk-3-0:amd64 (3.24.23-1ubuntu1.1) over (3.24.23-1ubuntu1)
i tested it after installing libgtk-3-0 libgtk-3-common from proposed. i can confirm that the gnome-terminal settings custom font now shows only "ubuntu mono" when "ubuntu" is typed into the search box and therefore solves the issue.
nevertheless, note that this is still different than what we see in focal, namely typing "ubuntu" into the search shows ubuntu mono {regular, italics, bold, bold-italics}. it's probably fine to allow selecting only the regular font since italics is useless as a terminal font and bold is used for emphasis anyway...
packages installed: libgtk-3-common (3.24.23- 1ubuntu1. 1) over (3.24.23-1ubuntu1), libgtk-3-0:amd64 (3.24.23- 1ubuntu1. 1) over (3.24.23-1ubuntu1)