eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-03 21:59:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixes editor header stuff, also 1.4-only prefs line, plus Info.plist

Browse Source
This commit is contained in:
benfry
2004-09-28 00:39:08 +00:00
parent 20705564fb
commit f9c580dfb8
4 changed files with 15 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
app/PdeEditorHeader.java
View File

@@ -146,10 +146,11 @@ public class PdeEditorHeader extends JComponent {
Graphics g = offscreen.getGraphics();
if (font == null) {
font = PdePreferences.getFont("header.text.font");
g.setFont(font);
metrics = g.getFontMetrics();
fontAscent = metrics.getAscent();
}
g.setFont(font); // need to set this each time through
metrics = g.getFontMetrics();
fontAscent = metrics.getAscent();
//}
//Graphics2D g2 = (Graphics2D) g;
//g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING,