Search results

✨ Diagnostic Manager

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

extensionsIssues related to the extension architecture in CodeEditIssues related to the extension architecture in CodeEdit

Issue

language serverIssues or Pull Requests related to language servers.Issues or Pull Requests related to language servers.

navigator

UIThis is UI relatedThis is UI related

Status: Open.

Feature

#2014 In CodeEditApp/CodeEdit;

· austincondiff opened on Apr 2, 2025

Issue Navigator

language serverIssues or Pull Requests related to language servers.Issues or Pull Requests related to language servers.

navigator

UIThis is UI relatedThis is UI related

Status: Open (in progress).

CodeEditApp/CodeEditnumber 2006

#2006 In CodeEditApp/CodeEdit;

· FastestMolasses opened on Mar 15, 2025

🐞 Language Server Requests Should Timeout

bugSomething isn't workingSomething isn't working

language serverIssues or Pull Requests related to language servers.Issues or Pull Requests related to language servers.

Status: Open.

#1976 In CodeEditApp/CodeEdit;

· thecoolwinter opened on Jan 25, 2025

✨ Jump to Definition

enhancementNew feature or requestNew feature or request

language serverIssues or Pull Requests related to language servers.Issues or Pull Requests related to language servers.

source editor

Status: Open.

#1902 In CodeEditApp/CodeEdit;

· austincondiff opened on Oct 12, 2024

✨ LSP Event & Notification Handling

language serverIssues or Pull Requests related to language servers.Issues or Pull Requests related to language servers.

Status: Open.

#1888 In CodeEditApp/CodeEdit;

· thecoolwinter opened on Sep 18, 2024