rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-04-05 21:40:24 +02:00
Code Issues Releases Activity

Merge remote-tracking branch 'cmaglie/new-extension' into new-extension

Browse Source
This commit is contained in:
David A. Mellis 2011-08-31 14:22:23 -04:00
commit eff37540db
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
app/src/processing/app/syntax/JEditTextArea.java
View File

@ -17,6 +17,7 @@ import javax.swing.event.*;
import javax.swing.text.*; import javax.swing.text.*;
import javax.swing.undo.*; import javax.swing.undo.*;
import javax.swing.*; import javax.swing.*;
import java.awt.datatransfer.*; import java.awt.datatransfer.*;
import java.awt.event.*; import java.awt.event.*;
import java.awt.*; import java.awt.*;
@ -2025,7 +2026,19 @@ public class JEditTextArea extends JComponent
select(getMarkPosition(),xyToOffset(evt.getX(),evt.getY())); select(getMarkPosition(),xyToOffset(evt.getX(),evt.getY()));
} }
public void mouseMoved(MouseEvent evt) {} final Cursor normalCursor = new Cursor(Cursor.DEFAULT_CURSOR);
final Cursor handCursor = new Cursor(Cursor.HAND_CURSOR);
public void mouseMoved(MouseEvent evt) {
int line = yToLine(evt.getY());
int offset = xToOffset(line, evt.getX());
boolean wantHandCursor = checkClickedURL(getLineText(line), offset) != null;
JComponent src = (JComponent) evt.getSource();
if (wantHandCursor)
src.setCursor(handCursor);
else
src.setCursor(normalCursor);
}
} }
class FocusHandler implements FocusListener class FocusHandler implements FocusListener