PanelView | Sourcegraph extension API

A panel view created by {@link sourcegraph.app.createPanelView}.

Index

component: { locationProvider: string } | null

Display the results of the location provider (with the given ID) in this panel below the {@link PanelView#contents}.

content: string

The content to show in the panel view. Markdown is supported.

priority: number

The priority of this panel view. A higher value means that the item is shown near the beginning (usually the left side).

title: string

The title of the panel view.