提交 319e59d4 编写于 作者: S Serge Rider

#5282 Tip of the day font scaling fix


Former-commit-id: f05e9131
上级 d80d9dbc
......@@ -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);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册