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

Fixes to compile under Java 1.5 (on my Linux machine).

This commit is contained in:
David A. Mellis 2011-08-27 00:00:10 +02:00
parent b73cf39d94
commit 4553cee443
2 changed files with 2 additions and 3 deletions

View File

@ -2655,7 +2655,6 @@ public class Editor extends JFrame implements RunnerListener {
public TextAreaPopup() {
openURLItem = new JMenuItem("Open URL");
openURLItem.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
Base.openURL(clickedURL);
}

View File

@ -211,7 +211,7 @@ public class SyntaxUtilities
Segment tag = stringToSegment(parse[1]);
Segment post = stringToSegment(parse[2]);
if (pre.length()>0)
if (pre.count>0)
x = Utilities.drawTabbedText(pre, x, y, gfx, expander, 0);
Font f = gfx.getFont();
@ -219,7 +219,7 @@ public class SyntaxUtilities
x = Utilities.drawTabbedText(tag, x, y, gfx, expander, 0);
commentStyle.setGraphicsFlags(gfx, f);
if (post.length()>0)
if (post.count>0)
x = Utilities.drawTabbedText(post, x, y, gfx, expander, 0);
return x;
}