Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre-Charles David2020-08-21 08:47:44 +0000
committerPierre-Charles David2020-08-21 08:47:46 +0000
commit3f15b252b2e5a6617c2d5f505ae3a4cd61d29f52 (patch)
tree1fed10bd7dfcfc8a6ecfb9f4c454a8d32dd63c85
parent4b74ec3e933199f2728b5d56369240433ea5162c (diff)
downloadorg.eclipse.eef-3f15b252b2e5a6617c2d5f505ae3a4cd61d29f52.tar.gz
org.eclipse.eef-3f15b252b2e5a6617c2d5f505ae3a4cd61d29f52.tar.xz
org.eclipse.eef-3f15b252b2e5a6617c2d5f505ae3a4cd61d29f52.zip
[566252] Fix properties label appearance
It seems that the style used by the platform to render disabled labels has changed since https://git.eclipse.org/r/c/eef/org.eclipse.eef/+/70615 was merged. Tweak the label's configuration to recover the same appearance and behavior as before. Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=566252 Change-Id: I96a7ae3e4d77c9f88271135f82931169b3814cee Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
-rw-r--r--plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/api/widgets/AbstractEEFWidgetLifecycleManager.java6
1 files changed, 4 insertions, 2 deletions
diff --git a/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/api/widgets/AbstractEEFWidgetLifecycleManager.java b/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/api/widgets/AbstractEEFWidgetLifecycleManager.java
index f4422ae44..a6ef481f2 100644
--- a/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/api/widgets/AbstractEEFWidgetLifecycleManager.java
+++ b/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/api/widgets/AbstractEEFWidgetLifecycleManager.java
@@ -172,9 +172,11 @@ public abstract class AbstractEEFWidgetLifecycleManager extends AbstractEEFLifec
}
if (needsLabel) {
- this.label = widgetFactory.createStyledText(composite, SWT.NONE);
+ this.label = widgetFactory.createStyledText(composite, SWT.READ_ONLY);
this.label.setEditable(false);
- this.label.setEnabled(false);
+ this.label.setCaret(null);
+ this.label.setCursor(Display.getCurrent().getSystemCursor(SWT.CURSOR_ARROW));
+ this.label.setDoubleClickEnabled(false);
this.label.setLayoutData(new GridData(this.getLabelVerticalAlignment()));
}

Back to the top