View | Details | Raw Unified | Return to bug 142109 | Differences between
and this patch

Collapse All | Expand All

(-)src/org/eclipse/gmf/runtime/diagram/ui/editpolicies/PopupBarEditPolicy.java (-2 / +16 lines)
Lines 148-153 Link Here
148
		/** The dragTracker CreationTool associated with the handle * */
148
		/** The dragTracker CreationTool associated with the handle * */
149
		private DragTracker myDragTracker = null;
149
		private DragTracker myDragTracker = null;
150
150
151
		/** Mirroring issue requires special treatment **/ 
152
		private boolean mirrored = (getHost().getViewer().getControl().getStyle() & SWT.MIRRORED) != 0;		
153
		
151
		private Image getDisabledImage()
154
		private Image getDisabledImage()
152
		{
155
		{
153
			if (myDisabledImage != null)
156
			if (myDisabledImage != null)
Lines 223-229 Link Here
223
226
224
			super.handleMouseEntered(event);
227
			super.handleMouseEntered(event);
225
			myMouseOver = true;
228
			myMouseOver = true;
226
			repaint();
229
			repaintSpecial();
230
		}
231
232
		private void repaintSpecial() {
233
			// Repaint issue workaround 
234
			if (mirrored) {
235
				if (getParent() != null && getParent().getParent() != null) { 
236
					getParent().getParent().repaint();
237
				}
238
			} else {
239
				repaint(); 				
240
			}
227
		}
241
		}
228
242
229
		/**
243
		/**
Lines 234-240 Link Here
234
248
235
			super.handleMouseExited(event);
249
			super.handleMouseExited(event);
236
			myMouseOver = false;
250
			myMouseOver = false;
237
			repaint();
251
			repaintSpecial();
238
		}
252
		}
239
253
240
		/**
254
		/**

Return to bug 142109