Community
Participate
Working Groups
In Bug 241877 the focus is set on a specific properties page, if that page is requested. The comments show that the implementation was tricky due to focus behavior. This tricky focus behavior was caused by Bug 297510. After fixing that bug, the of the original patch for 241877 can be cleaned up.
New Gerrit change created: https://git.eclipse.org/r/139639
Rolf, can you already assign bugs to yourself?
(In reply to Lars Vogel from comment #2) > Rolf, can you already assign bugs to yourself? No, I cannot.
(In reply to Rolf Theunissen from comment #3) > No, I cannot. I requested these rights now for you via email (with you cc'ed).
Gerrit change https://git.eclipse.org/r/139639 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=525875d1514c713cce064299ab23edfdee8a62fb
Thanks, Rolf for the fix. I assume you are using Windows, please validate the fix in tomorrows I-Build.