Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarkus Keller2012-08-28 14:48:43 +0000
committerMarkus Keller2012-08-28 14:48:43 +0000
commit938570cb1fc944907b2e4f52232497b0f02b2717 (patch)
treed699cdebb6bf5efb5e9407e5621e541482bb9b88
parentf16d0f043c6ca07b6b702093819a33d1a99a5c48 (diff)
downloadeclipse.platform.text-938570cb1fc944907b2e4f52232497b0f02b2717.tar.gz
eclipse.platform.text-938570cb1fc944907b2e4f52232497b0f02b2717.tar.xz
eclipse.platform.text-938570cb1fc944907b2e4f52232497b0f02b2717.zip
Bug 387095: [10.8][navigation] Scroll bars in hover prevent clicking on "Open Implementation"v20120828-144843
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/hyperlink/MultipleHyperlinkPresenter.java8
1 files changed, 7 insertions, 1 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/hyperlink/MultipleHyperlinkPresenter.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/hyperlink/MultipleHyperlinkPresenter.java
index edbd29a5477..35a8d7bfbe2 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/hyperlink/MultipleHyperlinkPresenter.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/hyperlink/MultipleHyperlinkPresenter.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2008, 2011 IBM Corporation and others.
+ * Copyright (c) 2008, 2012 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -223,6 +223,12 @@ public class MultipleHyperlinkPresenter extends DefaultHyperlinkPresenter implem
int scrollBarWidth= fTable.getVerticalBar().getSize().x;
int scrollBarHeight= fTable.getHorizontalBar().getSize().y;
+ if (IS_MAC && fTable.getScrollbarsMode() == SWT.SCROLLBAR_OVERLAY) {
+ // workaround for https://bugs.eclipse.org/387732 : [10.8] Table scrollbar width is 16 (not 15) on Mountain Lion
+ scrollBarWidth--;
+ scrollBarHeight--;
+ }
+
int width;
if (preferedSize.y - scrollBarHeight <= constraints.y) {
width= preferedSize.x - scrollBarWidth;

Back to the top