Я понимаю, как увеличить размер шрифта на вкладке редактора, но я хотел бы увеличить размер шрифта в главном меню навигации и, самое главное, названия табуляций. Они не меняются, когда я увеличиваю или уменьшаю вкладку редактора (используя колесо мыши Cmd + на OSX). Я не вижу ничего в меню настроек.
