Community
Participate
Working Groups
Created attachment 256539 [details] Screen capture of errors being highlighted but not copyable to clipboard See attached screen capture.
Julian or Alexander, something for you?
New Gerrit change created: https://git.eclipse.org/r/132768
New Gerrit change created: https://git.eclipse.org/r/133021
Gerrit change https://git.eclipse.org/r/132768 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=8677b210e1b48fee7d8f036d175bc660958e0eff
Thanks Julian for the fix and Alexander for the review. Julian, please validate with the next I-build and update the bug status.
Can anyone verify this fix?
Verified on I20190107-2050