Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • ViewColumnService

Index

Constructors

Properties

columnValues: Map<string, number> = ...
onViewColumnChangedEmitter: Emitter<{ id: string; viewColumn: number }> = ...
viewColumnIds: Map<number, string[]> = ...

Accessors

  • get onViewColumnChanged(): Event<{ id: string; viewColumn: number }>

Methods

  • getViewColumn(id: string): undefined | number
  • getViewColumnIds(viewColumn: number): string[]
  • hasViewColumn(id: string): boolean
  • setViewColumn(tabBar: TabBar<Widget>, viewColumn: number): void
  • updateViewColumns(): void
  • viewColumnsSize(): number