Снимок экрана:
Возможно, мне нужно что-то изменить в файле theme gtkrc, но я не могу найти, что нужно изменить, чтобы уменьшить размер шрифта на один блок
Для справки я нашел аналогичный вопрос о SO (хотя это касается Ubuntu 11.10): как изменить цвет подсветки в поле автозаполнения в Eclipse, что показывает, что даже Eclipse использует это из системной настройки , но чтобы быть более запутанным шрифтом, он меньше (как и я хочу)