Attachment 2070 Details for Bug 2417 – patch file

[patch] patch file

2417c_patch.txt (text/plain), 1.85 KB, created by Lynne Kues

on 2002-09-26 15:51:55 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Lynne Kues

Created: 2002-09-26 15:51:55 EDT

Size: 1.85 KB

patch

obsolete

>Index: WelcomeEditor.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/WelcomeEditor.java,v
>retrieving revision 1.2
>diff -u -r1.2 WelcomeEditor.java
>--- WelcomeEditor.java	25 Sep 2002 18:58:13 -0000	1.2
>+++ WelcomeEditor.java	26 Sep 2002 19:26:47 -0000
>@@ -61,6 +61,8 @@
> 	private ScrolledComposite scrolledComposite;
> 	
> 	private IPropertyChangeListener colorListener;
>+	private boolean mouseDown = false;
>+	private boolean dragEvent = false;
> 		
> 	
> 	/**
>@@ -201,11 +203,25 @@
>  */
> private void addListeners(StyledText styledText) {
> 	styledText.addMouseListener(new MouseAdapter() {
>+		public void mouseDown(MouseEvent e) {
>+			if (e.button != 1) {
>+				return;
>+			}
>+			mouseDown = true;
>+		}
> 		public void mouseUp(MouseEvent e) {
>+			mouseDown = false;
> 			StyledText text = (StyledText)e.widget;
> 			WelcomeItem item = (WelcomeItem)e.widget.getData();
> 			int offset = text.getCaretOffset();
>-			if (item.isLinkAt(offset)) {	
>+			
>+			// Do not activate links on drag events
>+			if (dragEvent) {
>+				dragEvent = false;
>+				if (item.isLinkAt(offset))
>+					text.setCursor(handCursor);
>+			}
>+			else if (item.isLinkAt(offset)) {	
> 				text.setCursor(busyCursor);
> 				item.triggerLinkAt(offset);
> 				text.setCursor(null);
>@@ -214,6 +230,15 @@
> 	});
> 	styledText.addMouseMoveListener(new MouseMoveListener() {
> 		public void mouseMove(MouseEvent e) {
>+			// Do not change cursor on drag events
>+			if (mouseDown) {
>+				if (!dragEvent) {
>+					StyledText text = (StyledText)e.widget;
>+					text.setCursor(null);
>+				}
>+				dragEvent = true;
>+				return;
>+			}
> 			StyledText text = (StyledText)e.widget;
> 			WelcomeItem item = (WelcomeItem)e.widget.getData();
> 			int offset = getOffsetAtLocation(text, e.x, e.y);

Actions: View | Diff

Attachments on bug 2417: 2065 | 2068 | 2070