Как установить размер шрифта заголовков вкладок терминала?

Я постоянно попадаю в ситуацию, когда мои заголовки вкладок из 1-2 символов обрезаются, так как у меня открыто более 20 вкладок. Один из способов решения моей проблемы - уменьшить размер шрифта заголовков вкладок. Есть идеи, как это можно сделать?

Спасибо desgua, я действительно уменьшаю системный шрифт до некоторой степени (Application Font=9), но это только в определенной степени. Я думаю, что лучшее решение было бы найти способ избавиться от кнопок закрытия вкладок, но не смог найти способ сделать это.