Attachment 43527 Details for Bug 142109 – patch for PopupBarEditPolicy

[patch] patch for PopupBarEditPolicy

patchPopupBarEditPolicy.txt (text/plain), 1.57 KB, created by Tom Macdougall

on 2006-06-05 16:32:16 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Tom Macdougall

Created: 2006-06-05 16:32:16 EDT

Size: 1.57 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.gmf.runtime.diagram.ui
>Index: src/org/eclipse/gmf/runtime/diagram/ui/editpolicies/PopupBarEditPolicy.java
>===================================================================
>RCS file: /cvsroot/technology/org.eclipse.gmf/plugins/org.eclipse.gmf.runtime.diagram.ui/src/org/eclipse/gmf/runtime/diagram/ui/editpolicies/PopupBarEditPolicy.java,v
>retrieving revision 1.6
>diff -u -r1.6 PopupBarEditPolicy.java
>--- src/org/eclipse/gmf/runtime/diagram/ui/editpolicies/PopupBarEditPolicy.java	12 May 2006 21:21:54 -0000	1.6
>+++ src/org/eclipse/gmf/runtime/diagram/ui/editpolicies/PopupBarEditPolicy.java	5 Jun 2006 20:31:45 -0000
>@@ -148,6 +148,9 @@
> 		/** The dragTracker CreationTool associated with the handle * */
> 		private DragTracker myDragTracker = null;
> 
>+		/** Mirroring issue requires special treatment **/ 
>+		private boolean mirrored = (getHost().getViewer().getControl().getStyle() & SWT.MIRRORED) != 0;		
>+		
> 		private Image getDisabledImage()
> 		{
> 			if (myDisabledImage != null)
>@@ -223,7 +226,18 @@
> 
> 			super.handleMouseEntered(event);
> 			myMouseOver = true;
>-			repaint();
>+			repaintSpecial();
>+		}
>+
>+		private void repaintSpecial() {
>+			// Repaint issue workaround 
>+			if (mirrored) {
>+				if (getParent() != null && getParent().getParent() != null) { 
>+					getParent().getParent().repaint();
>+				}
>+			} else {
>+				repaint(); 				
>+			}
> 		}
> 
> 		/**
>@@ -234,7 +248,7 @@
> 
> 			super.handleMouseExited(event);
> 			myMouseOver = false;
>-			repaint();
>+			repaintSpecial();
> 		}
> 
> 		/**

Actions: View | Diff

Attachments on bug 142109: 41670 | 43527 | 43638 | 44166 | 44429