Search

Preparing search index...
The search index is not available

Sourcegraph extension API

Options

All

Public
Public/Protected
All

Inherited Only exported

Menu

"sourcegraph"
ProgressOptions

Interface ProgressOptions

Hierarchy

ProgressOptions

Index

Properties

title

Properties

Optional title

title: undefined | string

Defined in sourcegraph.d.ts:433

"sourcegraph"

ProgressOptions
- title

Legend

Namespace
Variable
Type alias
Type alias with type parameter

Interface
Interface with type parameter
Property

Enumeration

Class

Generated using TypeDoc