Миниатюрная панель инструментов GNU Radio Companion (GRC) на HiDPI 16.04

Я попытался выяснить, как увеличить размер панели инструментов с помощью крошечных значков в GNU Radio Companion (GRC, версия 3.7.9.1-2ubuntu1), установленном на Dell XPS 13, Ubuntu 16.04, с hiDPI. Я нашел эту страницу с рекомендациями: https://wiki.gnuradio.org/index.php/Tips_for_MacBooks_and_other_HiDPI_displays Но у меня нет рассматриваемого файла, $HOME/.gtkrc-2.0, и при его создании и сохранении с помощью "gtk-font-name="Sans 14"", это ничего не меняет. Я пытался переместить его в другую конфигурацию и папки GTK, но безуспешно. У кого-нибудь есть идеи, как поступить? Том