Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PanelView

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

Hierarchy

Index

Properties

component

component: { locationProvider: string; maxLocationResults?: undefined | number } | null

Display the results of the location provider (with the given ID) in this panel below the {@link PanelView#contents}. If maxLocationResults is set, then only maxLocationResults will be shown in the panel.

Experimental. Subject to change or removal without notice.

internal

content

content: string

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

priority

priority: number

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

selector

selector: DocumentSelector | null

A selector that defines the documents this panel is applicable to.

title

title: string

The title of the panel view.

Methods

unsubscribe

  • unsubscribe(): void

Generated using TypeDoc