Сегодня поставил tuxjdk и произвел изменения в phpstorm.sh, для того чтобы шторм использовал tuxjdk. Да, шрифты стали хороши (по мне так, по крайней мере), но есть один странный момент: шрифты в самом редакторе слишком большие, по сравнению с тем же самым gedit.
Для наглядности прилагаю скриншоты:
phpstorm
http://i.imgur.com/ThVWree.png
gedit
http://i.imgur.com/SqKukWk.png
В обоих случаях Source Code Pro 11px
Кто-нибудь знает как это исправить?
