rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-01 23:29:28 +01:00
Code Issues Releases Activity

Removed arrow.

Browse Source
This commit is contained in:
Cristian Maglie 2011-08-23 19:29:36 +02:00
parent f233861a4c
commit 303b2e5103
1 changed files with 0 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
app/src/processing/app/syntax/SyntaxUtilities.java
View File

@ -218,29 +218,12 @@ public class SyntaxUtilities
styles[Token.URL].setGraphicsFlags(gfx, f); styles[Token.URL].setGraphicsFlags(gfx, f);
x = Utilities.drawTabbedText(tag, x, y, gfx, expander, 0); x = Utilities.drawTabbedText(tag, x, y, gfx, expander, 0);
// Draw arrow.
FontMetrics metrics = gfx.getFontMetrics();
int h = metrics.getHeight() - 2;
drawArrow(gfx, x, y - h + metrics.getDescent() - 1, h, h);
commentStyle.setGraphicsFlags(gfx, f); commentStyle.setGraphicsFlags(gfx, f);
if (post.length()>0) if (post.length()>0)
x = Utilities.drawTabbedText(post, x, y, gfx, expander, 0); x = Utilities.drawTabbedText(post, x, y, gfx, expander, 0);
return x; return x;
} }
private static void drawArrow(Graphics gfx, int x, int y, int w, int h) {
int h2 = h / 2;
int h4 = h / 4;
gfx.drawLine(x, y+h2, x+h2, y);
gfx.drawLine(x+h2, y, x+h2, y+h4);
gfx.drawLine(x+h2, y+h4, x+h, y+h4);
gfx.drawLine(x+h, y+h4, x+h, y+h-h4);
gfx.drawLine(x+h, y+h-h4, x+h2, y+h-h4);
gfx.drawLine(x+h2,y+h-h4, x+h2, y+h);
gfx.drawLine(x, y+h2, x+h2, y+h);
}
// private members // private members
private SyntaxUtilities() {} private SyntaxUtilities() {}
} }