rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00
Code Issues Releases Activity

Mouse change cursor shape when is moved over a URL.

Browse Source
This commit is contained in:
Cristian Maglie 2011-08-30 23:22:59 +02:00
parent 4553cee443
commit 15b28b415d
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.undo.*;
import javax.swing.*;
import java.awt.datatransfer.*;
import java.awt.event.*;
import java.awt.*;
@ -2025,7 +2026,19 @@ public class JEditTextArea extends JComponent
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