Feedback on javadoc UI changes
Michel Trudeau
michel.trudeau at oracle.com
Wed Oct 9 21:08:06 UTC 2019
Good catch Alex, thank you for testing this.
On Oct 9, 2019, at 11:33 AM, Alex Buckley <alex.buckley at oracle.com> wrote:
I think #2 has a serious problem. If you scroll, and then hit any key,
then the search box grabs focus -- this is useful on the many occasions when you want to search, but it means that keyboard shortcuts such as Ctrl-C are pre-empted. Specifically, if I select text anywhere on the javadoc page with the mouse, then press Ctrl-C, I see focus jump to the search box; if I then switch to another program to paste in the copied text (to quote it in an email, say), then I find the clipboard is empty, nothing was copied, Ctrl-C was pre-empted. For this reason, I disregard #2.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20191009/433c9e3d/attachment-0001.html>
More information about the javadoc-dev
mailing list