Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEric Williams2019-09-24 18:27:51 +0000
committerLars Vogel2019-09-24 21:54:25 +0000
commit3ef00e965323cd7a3ae21ddde3fe480116547651 (patch)
treeb5cc0b5723faae72f02d39e24073a62406404479
parent0a1624e357a13080489ef5433dba648338de1ee9 (diff)
downloadeclipse.platform.ui-3ef00e965323cd7a3ae21ddde3fe480116547651.tar.gz
eclipse.platform.ui-3ef00e965323cd7a3ae21ddde3fe480116547651.tar.xz
eclipse.platform.ui-3ef00e965323cd7a3ae21ddde3fe480116547651.zip
Bug 551418: [GTK] Remove hack that causes unreadable permission checkboxes
Remove SWT.INHERIT_FORCE background mode from the permissions table, as it causes ugly check box colors. The change is not needed on modern GTK versions. Tested on GTK3.24.10 (old Adwaita) and 3.24.11 (new Adwaita). The permissions table is readable in both cases. Change-Id: I7ceb1d4057c5f63c2fd7a6b432a89dcdcedc81b6 Signed-off-by: Eric Williams <ericwill@redhat.com>
-rw-r--r--bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/ResourceInfoPage.java5
1 files changed, 0 insertions, 5 deletions
diff --git a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/ResourceInfoPage.java b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/ResourceInfoPage.java
index e498f479009..d7a47ec41c3 100644
--- a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/ResourceInfoPage.java
+++ b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/ResourceInfoPage.java
@@ -45,7 +45,6 @@ import org.eclipse.core.runtime.IPath;
import org.eclipse.core.runtime.NullProgressMonitor;
import org.eclipse.core.runtime.OperationCanceledException;
import org.eclipse.core.runtime.Path;
-import org.eclipse.core.runtime.Platform;
import org.eclipse.core.runtime.Status;
import org.eclipse.core.runtime.SubMonitor;
import org.eclipse.core.runtime.content.IContentDescription;
@@ -827,10 +826,6 @@ public class ResourceInfoPage extends PropertyPage {
GridData tableData = new GridData();
tableData.heightHint = table.getHeaderHeight() + 3 * table.getItemHeight();
table.setLayoutData(tableData);
- if (Platform.WS_GTK.equals(Platform.getWS()))
- // Removes gray padding around buttons embedded in the table on
- // GTK, see bug 312240
- table.setBackgroundMode(SWT.INHERIT_FORCE);
createExecutableWarning(composite, font);
}

Back to the top