镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

✨ Issue Navigator #354

Description

@austincondiff

Description

Introduce an Issue Navigator in CodeEdit that displays a list of build, runtime, or linter issues in a centralized and navigable interface. This navigator should help users quickly identify and jump to problems in their project, improving debugging efficiency and overall workflow.

The navigator should display errors, warnings, and informational messages in a hierarchical or grouped manner, potentially organized by file or type. It should also stay synchronized with diagnostics displayed in the source editor via Line Annotations.

Requirements

  • A dedicated navigator labeled “Issues”
  • Group issues by file
  • Show concise descriptions with icons to indicate severity
  • Allow clicking on an issue to navigate to the corresponding line in the source file
  • Real-time updates as issues are added, removed, or resolved
  • Optional filters to show/hide specific severity levels
  • Support for issues emitted by:
    • Build systems
    • Linters
    • Runtime logs (if applicable in future development)
  • Issues in the Issue Navigator should match in the editor (text, type, and icons used)

Additional Context

The Issue Navigator will complement other navigators like Project and Source Control by providing a dedicated space for surfacing problems in the codebase. It should feel native to the rest of CodeEdit’s UI, aligning with existing navigation and pane behaviors.

We should use the DiagnosticManager in #2014 so that issues remain in sync with issues in the source editor (#2015).

Related Issues

Activity

  1. added
    wontfixThis will not be worked on
    and removed
    wontfixThis will not be worked on
    on May 30, 2022
  2. deleted a comment from stale on Apr 2, 2025
  3. deleted a comment from stale on Apr 2, 2025
  4. moved this from 📋 Todo to 🏃‍♂️ In Progress in CodeEdit Projecton Apr 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions