diff options
author | Markus Keller | 2012-08-28 14:48:43 +0000 |
---|---|---|
committer | Markus Keller | 2012-08-28 14:48:43 +0000 |
commit | 938570cb1fc944907b2e4f52232497b0f02b2717 (patch) | |
tree | d699cdebb6bf5efb5e9407e5621e541482bb9b88 | |
parent | f16d0f043c6ca07b6b702093819a33d1a99a5c48 (diff) | |
download | eclipse.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.java | 8 |
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; |