From 319e59d4a6127de04880270df6687ea9db62e276 Mon Sep 17 00:00:00 2001 From: Serge Rider Date: Sun, 17 Feb 2019 15:12:36 +0300 Subject: [PATCH] #5282 Tip of the day font scaling fix Former-commit-id: f05e913121ca74a7b447b5a2d54bc0f63e0b78ef --- .../dbeaver/ext/ui/tipoftheday/ShowTipOfTheDayDialog.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/plugins/org.jkiss.dbeaver.ext.ui.tipoftheday/src/org/jkiss/dbeaver/ext/ui/tipoftheday/ShowTipOfTheDayDialog.java b/plugins/org.jkiss.dbeaver.ext.ui.tipoftheday/src/org/jkiss/dbeaver/ext/ui/tipoftheday/ShowTipOfTheDayDialog.java index 477b88b442..b4296e5841 100644 --- a/plugins/org.jkiss.dbeaver.ext.ui.tipoftheday/src/org/jkiss/dbeaver/ext/ui/tipoftheday/ShowTipOfTheDayDialog.java +++ b/plugins/org.jkiss.dbeaver.ext.ui.tipoftheday/src/org/jkiss/dbeaver/ext/ui/tipoftheday/ShowTipOfTheDayDialog.java @@ -92,11 +92,11 @@ public class ShowTipOfTheDayDialog extends BaseDialog { Font dialogFont = JFaceResources.getDialogFont(); FontData[] fontData = dialogFont.getFontData(); - for (FontData fd : fontData) { - fd.setHeight(fd.getHeight() + 1); + for (int i = 0; i < fontData.length; i++) { + FontData fd = fontData[i]; + fontData[i] = new FontData(fd.getName(), fd.getHeight() + 1, SWT.NONE); } - //fontData[0].setHeight(fontData[0].getHeight() + 2); - Font largeFont = new Font(dialogFont.getDevice(), fontData[0]); + Font largeFont = new Font(dialogFont.getDevice(), fontData); parent.addDisposeListener(e -> largeFont.dispose()); Composite dialogArea = super.createDialogArea(parent); -- GitLab