Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

Allow references to be marked as imprecise #1174

@sqs

Description

@sqs

There are many useful things that are like "references" but that are not precise: our current basic-code-intel extension, #981, cross-repo references that may take shortcuts to be imprecise, etc.

To support these without violating users' reasonable expectation that "references" means precise, it would be valuable to have a way to display imprecise references and communicate the imprecision clearly to the user.

Strawman ideas:

  1. Extensions could mark individual reference results in a field on the result element that would cause the UI to display an "imprecise" or "best-effort" badge (possibly with an explanatory tooltip or label).
  2. Extensions could contribute new panel tabs other than "References", such as "API matches (imprecise)" or "Text matches". Downside: the tab title would need to convey the imprecision, which could make it long and therefore weird-looking in the UI. (Related: External references UI #1172.)

cc @tsenart

Metadata

Metadata

Assignees

Labels

extensionsSourcegraph extensions

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions