Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • CodeEditorWidgetUtil

Index

Constructors

Methods

Constructors

Methods

  • getResourceUri(editor: CodeEditorWidget): undefined | URI
  • is(arg: unknown): arg is CodeEditorWidget