Apparently this is a OS-independet problem related to high DPI screens.
There are flags in the config file related to the issue but they do not work.
One can change the theme to a non-default one and it solves the problem.
Found the answer this post from marpet