- 
                Notifications
    You must be signed in to change notification settings 
- Fork 35.9k
Open
Labels
editor-hoverEditor mouse hoverEditor mouse hoverfeature-requestRequest for new features or functionalityRequest for new features or functionalityhelp wantedIssues identified as good community contribution opportunitiesIssues identified as good community contribution opportunitiesunder-discussionIssue is under discussion for relevance, priority, approachIssue is under discussion for relevance, priority, approach
Milestone
Description
Hover can be very frustrating when selecting text etc. Longer delay (eg 1500ms) solves this but when you actually need the hover information it is frustrating to wait.
Having the full hover information by pressing control and hover the mouse on specific code is very nice. Please leave this functionality while let us disable the simple hover (the one without pressing Ctrl). In other words separate "hover" and "ctrl+hover" functionalities, with two seaparate options for turning them on/off.
gfr10598, JarrettSpiker, zomars, uqiu and pixelmaven
Metadata
Metadata
Assignees
Labels
editor-hoverEditor mouse hoverEditor mouse hoverfeature-requestRequest for new features or functionalityRequest for new features or functionalityhelp wantedIssues identified as good community contribution opportunitiesIssues identified as good community contribution opportunitiesunder-discussionIssue is under discussion for relevance, priority, approachIssue is under discussion for relevance, priority, approach