With the Aurora version of the JavaDocEditorPlugin, there is a conflict
between the default keymapping for the plugin (F11) and the keymapping for
the built-in Toggle Bookmark action (also F11). I'd suggest changing the
default keymapping to Ctrl+F11, which has no conflicts.
I don't know if this applies to Ariadna as well as Aurora.
Vilya Harvey, Consultant
firstname.lastname@example.org / digital steps /
(W) +44 (0)1483 469 480
(M) +44 (0)7816 678 457 http://www.digitalsteps.com/
This e-mail and any attachments may be confidential and/or legally
privileged. If you have received this email and you are not a named
addressee, please inform the sender at Digital Steps Ltd by phone on
+44 (0)1483 469 480 or by reply email and then delete the email from
your system. If you are not a named addressee you must not use,
disclose, distribute, copy, print or rely on this email. Although
Digital Steps Ltd routinely screens for viruses, addressees should
check this email and any attachments for viruses. Digital Steps Ltd
makes no representation or warranty as to the absence of viruses in this
email or any attachments.