Skip to content

Extend the hover support to more nodes #23

Open
Open
Extend the hover support to more nodes#23
Labels
enhancementNew feature or requestserver

Description

@EmileRolley
EmileRolley
opened on Jul 26, 2024

Currently, only references are supported on hover. However, it could be useful to extend the list of supported node to:

  • mecanisms

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestserver

    Type

    No type

    Projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions