エディタのフォントを変更できる場所はわかりますが、プロジェクトパネルのフォントが不当に大きいようです。デフォルトのフォントを上書きすると、上部のパスバーとその他の要素のみが変更されます。
エディタのフォントを変更できる場所はわかりますが、プロジェクトパネルのフォントが不当に大きいようです。デフォルトのフォントを上書きすると、上部のパスバーとその他の要素のみが変更されます。
回答:
これは、UbuntuのIntelliJ 14.0.3 CommunityEditionで機能しました。
File | Settings | Appearance & Behavior | Appearance
そして、チェックしてください:
[ ] Override default fonts by (not recommended)
Name: Ubuntu Size: 14
ここで、メニュー、プロジェクトパネル、エディターなど、すべてのフォントとサイズを選択できます。私にとって、Linuxでは、15(デフォルトは14)に設定してから、エディターフォントのみを調整するのが問題ありません。下:
Editor | General
Mouse
[ ] Change font size (Zoom) with Ctrl+Mouse Wheel
私も最近問題を抱えていました。突然、プロジェクトパネルのフォントが他のフォントよりも大きくなりました。しかし、IntelliJの設定で、この奇妙な動作を無効にする隠しオプションを見つけました。
~\.IdeaIC2018.1\config\options\ide.general.xml
bigger.font.in.project.view
しますfalse
これが私にとってファイルがどのように見えるかです:
<application>
<component name="GeneralSettings">
<option name="confirmExit" value="false" />
<option name="processCloseConfirmation" value="TERMINATE" />
<option name="searchInBackground" value="true" />
</component>
<component name="Registry">
<entry key="ide.tooltip.initialDelay" value="604" />
<entry key="tabs.alphabetical" value="true" />
<entry key="SBT.system.in.process" value="true" />
<entry key="bigger.font.in.project.view" value="false" />
</component>
</application>
しかし、GUIでこのオプションは見つかりませんでした。
私にとっての修正は、テーマをGTK +からIntelliJに切り替えることでした。私は、Darculaも同様に機能することを確認しました。独自のNVIDIAビデオドライバーに切り替えた後、フォントが壊れました。AndroidStudioを実行しているManjaroLinuxの場合。