Tab font size - Githubissues

martyr-deepin / deepin-terminal-gtk

DDE terminal emulator application

GNU General Public License v3.0

263 stars 57 forks source link

Open ronilaukkarinen opened 4 years ago

ronilaukkarinen commented 4 years ago

Hello. Deepin Terminal tab font size is quite big. How to make it smaller?

Screenshot