Skip to content

Links should navigate users to lines that warnings occured #17

Closed
Feature
Closed
Links should navigate users to lines that warnings occured#17
Feature
Assignees
yaito3014
Labels
enhancementNew feature or request

Description

@yaito3014
yaito3014
opened on Feb 17, 2026
No description provided.

Activity

  1. yaito3014
    self-assigned this
    on Feb 17, 2026
  2. yaito3014
    added
    enhancementNew feature or request
    on Feb 17, 2026
  3. yaito3014
    added the
    Feature
    issue type on Feb 17, 2026
  4. yaito3014
    closed this as completedon Feb 18, 2026

  5. yaito3014 commented on Feb 18, 2026

    @yaito3014
    yaito3014
    on Feb 18, 2026
    MemberAuthor

    fixed by #19

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

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

Feature

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions