for a few versions now I have noticed that the menu font size has been broken on
Ubuntu 20.04 (GNOME 3.36.3).
Being unable to resize the window, Anki is completely unusable in this state. Is there any way to fix it? Should this rather be filed as an issue on GitHub?
Thanks a lot!