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

IDEA-167611 [followup] Default printer font size is big on HiDPI display

Browse Source
This commit is contained in:
Anton Tarasov
2017-04-20 18:37:45 +03:00
parent 7594671bb8
commit 4eac2f3550
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeEditor/printing/TextPainter.java
+3 -3
View File
@@ -113,9 +113,9 @@ class TextPainter extends BasePainter {
myDocument = editorDocument;
myPrintSettings = PrintSettings.getInstance();
String fontName = myPrintSettings.FONT_NAME;
/**
* Printing Graphics is constructed with scale corresponding to the printer DPI settings (~600dpi),
* the font size is expected to be in 96 dpi, so we should normalize it.
/*
Printing Graphics is constructed with scale corresponding to the printer DPI settings (~600dpi),
the font size is expected to be in 96 dpi, so we should normalize it.
*/
int fontSize = Math.round(myPrintSettings.FONT_SIZE / UISettings.getNormalizingScale());
myPlainFont = new Font(fontName, Font.PLAIN, fontSize);