diff options
| author | Eric Williams | 2019-09-24 18:27:51 +0000 |
|---|---|---|
| committer | Lars Vogel | 2019-09-24 21:54:25 +0000 |
| commit | 3ef00e965323cd7a3ae21ddde3fe480116547651 (patch) | |
| tree | b5cc0b5723faae72f02d39e24073a62406404479 | |
| parent | 0a1624e357a13080489ef5433dba648338de1ee9 (diff) | |
| download | eclipse.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.java | 5 |
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); } |
