diff options
author | Till Brychcy | 2018-06-11 17:19:16 +0000 |
---|---|---|
committer | Till Brychcy | 2018-07-30 06:45:33 +0000 |
commit | f5f7336dbc45f021c8fde70ba0ec152b053f82a5 (patch) | |
tree | 9fe6d914348811c6179fa3ec764759a21314fd6a | |
parent | 93952051228c7e9ec3f9cd0cd6a9a0fa80ae954e (diff) | |
download | eclipse.jdt.ui-f5f7336dbc45f021c8fde70ba0ec152b053f82a5.tar.gz eclipse.jdt.ui-f5f7336dbc45f021c8fde70ba0ec152b053f82a5.tar.xz eclipse.jdt.ui-f5f7336dbc45f021c8fde70ba0ec152b053f82a5.zip |
Bug 531690 - [quick assist][quick fix][Mac] configure problem severityI20180730-0800
gives no indication of which preference
Change-Id: If12cd49f9a18cc14e1ca69127dbeb7613104689f
-rw-r--r-- | org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java index faf368872e..92080302e4 100644 --- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java +++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java @@ -427,6 +427,13 @@ public abstract class OptionsConfigurationBlock { } } control.setFocus(); + if (Util.isMac()) { + Label label= fLabels.get(control); + final PreferenceHighlight highLight= label == null ? null : (PreferenceHighlight) label.getData(DATA_PREF_HIGHLIGHT); + if (highLight != null) { + highLight.setFocus(true); + } + } } } |