diff options
| author | Pierre-Charles David | 2016-05-13 12:51:41 +0000 |
|---|---|---|
| committer | Pierre-Charles David | 2016-05-13 12:51:41 +0000 |
| commit | 2b6319bc0f4bd2f47e1b7c52ec06db34a3739ca1 (patch) | |
| tree | 7d6502a263661f6b60631cf2231657b9fefefd40 | |
| parent | a904b042ba557b1b92b39f6115b0f14f3d5f7005 (diff) | |
| download | org.eclipse.eef-2b6319bc0f4bd2f47e1b7c52ec06db34a3739ca1.tar.gz org.eclipse.eef-2b6319bc0f4bd2f47e1b7c52ec06db34a3739ca1.tar.xz org.eclipse.eef-2b6319bc0f4bd2f47e1b7c52ec06db34a3739ca1.zip | |
Backport fix for Gtk colors from original framework
This corresponds to https://git.eclipse.org/r/#/c/66566/, which was
merged in the original framework after we initialized our fork.
Change-Id: I9431a2bab4e40e0eab77db887eb7ccf139b8fa56
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
| -rw-r--r-- | plugins/org.eclipse.eef.properties.ui/src/org/eclipse/eef/properties/ui/internal/page/propertylist/EEFTabbedPropertyListColorHolder.java | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/plugins/org.eclipse.eef.properties.ui/src/org/eclipse/eef/properties/ui/internal/page/propertylist/EEFTabbedPropertyListColorHolder.java b/plugins/org.eclipse.eef.properties.ui/src/org/eclipse/eef/properties/ui/internal/page/propertylist/EEFTabbedPropertyListColorHolder.java index 52212c9a2..8bef579b2 100644 --- a/plugins/org.eclipse.eef.properties.ui/src/org/eclipse/eef/properties/ui/internal/page/propertylist/EEFTabbedPropertyListColorHolder.java +++ b/plugins/org.eclipse.eef.properties.ui/src/org/eclipse/eef/properties/ui/internal/page/propertylist/EEFTabbedPropertyListColorHolder.java @@ -134,18 +134,17 @@ public class EEFTabbedPropertyListColorHolder { // Color 19 COLOR_WIDGET_NORMAL_SHADOW this.widgetNormalShadow = Display.getCurrent().getSystemColor(SWT.COLOR_WIDGET_NORMAL_SHADOW); - RGB infoBackground = Display.getCurrent().getSystemColor(SWT.COLOR_INFO_BACKGROUND).getRGB(); RGB white = Display.getCurrent().getSystemColor(SWT.COLOR_WHITE).getRGB(); RGB black = Display.getCurrent().getSystemColor(SWT.COLOR_BLACK).getRGB(); /* - * gradient in the default tab: start colour WIDGET_NORMAL_SHADOW 100% + white 20% + INFO_BACKGROUND 60% end - * colour WIDGET_NORMAL_SHADOW 100% + INFO_BACKGROUND 40% + * gradient in the default tab: start colour WIDGET_NORMAL_SHADOW 100% + white 20% + WIDGET_BACKGROUND 60% end + * colour WIDGET_NORMAL_SHADOW 100% + WIDGET_BACKGROUND 40% */ this.defaultGradientStart = this.widgetFactory.getColors().createColor("TabbedPropertyList.defaultTabGradientStart", //$NON-NLS-1$ - FormColors.blend(infoBackground, FormColors.blend(white, widgetNormalShadow.getRGB(), 20), 60)); + FormColors.blend(widgetBackground.getRGB(), FormColors.blend(white, widgetNormalShadow.getRGB(), 20), 60)); this.defaultGradientEnd = this.widgetFactory.getColors().createColor("TabbedPropertyList.defaultTabGradientEnd", //$NON-NLS-1$ - FormColors.blend(infoBackground, widgetNormalShadow.getRGB(), 40)); + FormColors.blend(widgetBackground.getRGB(), widgetNormalShadow.getRGB(), 40)); this.navigationElementShadowStroke = this.widgetFactory.getColors().createColor("TabbedPropertyList.shadowStroke", //$NON-NLS-1$ FormColors.blend(white, widgetNormalShadow.getRGB(), 55)); |