-
-
Notifications
You must be signed in to change notification settings - Fork 3.1k
Closed
Labels
A-helix-termArea: Helix term improvementsArea: Helix term improvementsC-enhancementCategory: ImprovementsCategory: ImprovementsE-easyCall for participation: Experience needed to fix: Easy / not muchCall for participation: Experience needed to fix: Easy / not much
Description
Currently when hover, there is a box. It can be scrolled down but there are two issues
- it is not cleared when it can be scroll up or down
- it is not discoverable for new users that ctrl-u and ctrl-d is used to scroll the hover box
One idea I have is that we draw ctrl-u text if it can be scrolled up and ctrl-d text if it can be scrolled down along the border of the box, that way we can reuse the existing border space while making it clear to users when it can be scrolled as well as being beginner friendly. Example,
+--------------------+
| ... |
+------------ ctrl-d +
kajuburfi, poliorcetics, the-mikedavis, sheyll, pythoneer and 1 more
Metadata
Metadata
Assignees
Labels
A-helix-termArea: Helix term improvementsArea: Helix term improvementsC-enhancementCategory: ImprovementsCategory: ImprovementsE-easyCall for participation: Experience needed to fix: Easy / not muchCall for participation: Experience needed to fix: Easy / not much