summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarkus Keller2012-08-28 10:48:43 (EDT)
committer Dani Megert2012-08-28 11:55:02 (EDT)
commitb757b5932c32d23877eed81368dc483a02ae71b7 (patch)
treee58b1c39cd489a0087a01914bc0255a687326deb
parent65db9a897f9edb8ebd4e18febec791d2e0add751 (diff)
downloadeclipse.platform.text-b757b5932c32d23877eed81368dc483a02ae71b7.zip
eclipse.platform.text-b757b5932c32d23877eed81368dc483a02ae71b7.tar.gz
eclipse.platform.text-b757b5932c32d23877eed81368dc483a02ae71b7.tar.bz2
-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 edbd29a..35a8d7b 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;