core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/NavigationBar.java
changeset 2068 8db6518f7141
parent 2062 4d032dc346bf
child 2099 22d901cba60a
--- a/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/NavigationBar.java	Mon Sep 20 15:01:14 2010 -0500
+++ b/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/NavigationBar.java	Mon Sep 20 15:24:33 2010 -0500
@@ -33,6 +33,8 @@
 import org.eclipse.swt.events.SelectionListener;
 import org.eclipse.swt.graphics.Font;
 import org.eclipse.swt.graphics.FontData;
+import org.eclipse.swt.graphics.Point;
+import org.eclipse.swt.graphics.Rectangle;
 import org.eclipse.swt.layout.FillLayout;
 import org.eclipse.swt.widgets.Composite;
 import org.eclipse.swt.widgets.Control;
@@ -69,7 +71,9 @@
 			addMouseListener(mouseListener = new MouseAdapter() {
 				@Override
 				public void mouseUp(MouseEvent e) {
-					setSelection(true);
+					Point size = Button.this.getSize();
+					if (new Rectangle(0, 0, size.x, size.y).contains(e.x, e.y))
+						setSelection(true);
 				}
 			});
 		}