Community
Participate
Working Groups
discussed on the Eclipse Platform summit and agreed with Dani, that we should allow the user to disable the hovers via the focused hover directly. In addition a default shortcut should be defined, I open another bug for that.
Alex, something for you?
(In reply to Lars Vogel from comment #0) > In addition a default shortcut should be defined, I open another bug for > that. We already have a shortcut for the Javadoc Hover (Ctrl+Shift).