|
Lines 61-66
Link Here
|
| 61 |
private ScrolledComposite scrolledComposite; |
61 |
private ScrolledComposite scrolledComposite; |
| 62 |
|
62 |
|
| 63 |
private IPropertyChangeListener colorListener; |
63 |
private IPropertyChangeListener colorListener; |
|
|
64 |
private boolean mouseDown = false; |
| 65 |
private boolean dragEvent = false; |
| 64 |
|
66 |
|
| 65 |
|
67 |
|
| 66 |
/** |
68 |
/** |
|
Lines 201-207
Link Here
|
| 201 |
*/ |
203 |
*/ |
| 202 |
private void addListeners(StyledText styledText) { |
204 |
private void addListeners(StyledText styledText) { |
| 203 |
styledText.addMouseListener(new MouseAdapter() { |
205 |
styledText.addMouseListener(new MouseAdapter() { |
|
|
206 |
public void mouseDown(MouseEvent e) { |
| 207 |
if (e.button != 1) { |
| 208 |
return; |
| 209 |
} |
| 210 |
mouseDown = true; |
| 211 |
} |
| 204 |
public void mouseUp(MouseEvent e) { |
212 |
public void mouseUp(MouseEvent e) { |
|
|
213 |
mouseDown = false; |
| 214 |
// Do not activate links on drag events |
| 215 |
if (dragEvent) { |
| 216 |
dragEvent = false; |
| 217 |
return; |
| 218 |
} |
| 205 |
StyledText text = (StyledText)e.widget; |
219 |
StyledText text = (StyledText)e.widget; |
| 206 |
WelcomeItem item = (WelcomeItem)e.widget.getData(); |
220 |
WelcomeItem item = (WelcomeItem)e.widget.getData(); |
| 207 |
int offset = text.getCaretOffset(); |
221 |
int offset = text.getCaretOffset(); |
|
Lines 214-219
Link Here
|
| 214 |
}); |
228 |
}); |
| 215 |
styledText.addMouseMoveListener(new MouseMoveListener() { |
229 |
styledText.addMouseMoveListener(new MouseMoveListener() { |
| 216 |
public void mouseMove(MouseEvent e) { |
230 |
public void mouseMove(MouseEvent e) { |
|
|
231 |
// Do not change cursor on drag events |
| 232 |
if (mouseDown) { |
| 233 |
if (!dragEvent) { |
| 234 |
StyledText text = (StyledText)e.widget; |
| 235 |
text.setCursor(null); |
| 236 |
} |
| 237 |
dragEvent = true; |
| 238 |
return; |
| 239 |
} |
| 217 |
StyledText text = (StyledText)e.widget; |
240 |
StyledText text = (StyledText)e.widget; |
| 218 |
WelcomeItem item = (WelcomeItem)e.widget.getData(); |
241 |
WelcomeItem item = (WelcomeItem)e.widget.getData(); |
| 219 |
int offset = getOffsetAtLocation(text, e.x, e.y); |
242 |
int offset = getOffsetAtLocation(text, e.x, e.y); |
