Skip to content

Hover page up down hint #1248

@pickfire

Description

@pickfire

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 +

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-helix-termArea: Helix term improvementsC-enhancementCategory: ImprovementsE-easyCall for participation: Experience needed to fix: Easy / not much

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions