Summary: | [hovering] Allow to disable Java hovers via the Java hover popup | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Lars Vogel <Lars.Vogel> |
Component: | UI | Assignee: | JDT-UI-Inbox <jdt-ui-inbox> |
Status: | ASSIGNED --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | atrookey, daniel_megert, Lars.Vogel, markus.kell.r, noopur_gupta, sxenos |
Version: | 4.7 | ||
Target Milestone: | --- | ||
Hardware: | PC | ||
OS: | Linux | ||
Whiteboard: | |||
Bug Depends on: | |||
Bug Blocks: | 506592 |
Description
Lars Vogel
2016-10-26 18:43:07 EDT
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). |