| commit | f5f7336dbc45f021c8fde70ba0ec152b053f82a5 | [log] [tgz] |
|---|---|---|
| author | Till Brychcy <register.eclipse@brychcy.de> | Mon Jun 11 19:19:16 2018 +0200 |
| committer | Till Brychcy <register.eclipse@brychcy.de> | Mon Jul 30 02:45:33 2018 -0400 |
| tree | 9fe6d914348811c6179fa3ec764759a21314fd6a | |
| parent | 93952051228c7e9ec3f9cd0cd6a9a0fa80ae954e [diff] |
Bug 531690 - [quick assist][quick fix][Mac] configure problem severity gives no indication of which preference Change-Id: If12cd49f9a18cc14e1ca69127dbeb7613104689f
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 faf3688..9208030 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 @@ } } 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); + } + } } }