MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

fix About dialog font on Windows

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-02-24 12:33:19 +01:00
parent 68e033ec04
commit 32209cb11b
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/actions/AboutDialog.java
+3
View File
@@ -254,6 +254,9 @@ public class AboutDialog extends JDialog {
UIUtil.applyRenderingHints(g);
Font labelFont = UIUtil.getLabelFont();
if (SystemInfo.isWindows) {
labelFont = new Font("Tahoma", Font.PLAIN, 12);
}
for (int labelSize = 10; labelSize != 6; labelSize -= 1) {
myLinks.clear();
g2.setPaint(col);