rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Code Issues Releases Activity

improves font rendering

Browse Source
This commit is contained in:
ricardo.jl.rufino 2015-04-22 13:53:48 -03:00 committed by Federico Fissore
parent 725dffa69e
commit ff49809d77
1 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
app/src/processing/app/EditorHeader.java
View File

@ -153,16 +153,16 @@ public class EditorHeader extends JComponent {
Graphics g = offscreen.getGraphics();
if (font == null) {
font = Theme.getFont("header.text.font");
font = Theme.getDefaultFont(); // Get optimal font.
if(font == null) font = Theme.getFont("header.text.font");
}
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,
// RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
Graphics2D g2 = (Graphics2D) g;
// set the background for the offscreen
g.setColor(backgroundColor);
@ -182,9 +182,8 @@ public class EditorHeader extends JComponent {
code.getPrettyName() : code.getFileName();
// if modified, add the li'l glyph next to the name
String text = " " + codeName + (code.isModified() ? " \u00A7" : " ");
String text = " " + codeName + " ";
Graphics2D g2 = (Graphics2D) g;
int textWidth = (int)
font.getStringBounds(text, g2.getFontRenderContext()).getWidth();
@ -207,7 +206,16 @@ public class EditorHeader extends JComponent {
g.setColor(textColor[state]);
int baseline = (sizeH + fontAscent) / 2;
//g.drawString(sketch.code[i].name, textLeft, baseline);
g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING,
RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
g.drawString(text, textLeft, baseline);
if(code.isModified()){
g.setColor(Color.RED);
g.drawString("*", textLeft - 3, baseline);
}
g.drawImage(pieces[state][RIGHT], x, 0, null);
x += PIECE_WIDTH - 1; // overlap by 1 pixel