Options
All
  • Public
  • Public/Protected
  • All
Menu

Class EditorNavigationContribution

Hierarchy

  • EditorNavigationContribution

Implements

  • Disposable
  • FrontendApplicationContribution

Index

Constructors

Properties

Methods

Constructors

constructor

Properties

Protected Readonly commandRegistry

commandRegistry: CommandRegistry

Protected Readonly editorManager

editorManager: EditorManager

Protected Readonly locationStack

locationStack: NavigationLocationService

Protected Readonly logger

logger: ILogger

Protected Readonly preferenceService

preferenceService: PreferenceService

Protected Readonly storageService

storageService: StorageService

Protected Readonly toDispose

toDispose: DisposableCollection = ...

Protected Readonly toDisposePerCurrentEditor

toDisposePerCurrentEditor: DisposableCollection = ...

Static Private CLOSED_EDITORS_KEY

CLOSED_EDITORS_KEY: string = 'recently-closed-editors'

Static Private ID

ID: string = 'editor-navigation-contribution'

Static Private MOUSE_NAVIGATION_PREFERENCE

MOUSE_NAVIGATION_PREFERENCE: string = 'workbench.editor.mouseBackForwardToNavigate'

Methods

dispose

  • dispose(): void

Protected init

  • init(): void

Protected installMouseNavigationSupport

  • installMouseNavigationSupport(): Promise<void>

Private isMinimapEnabled

  • isMinimapEnabled(): boolean

Private isRenderWhitespaceEnabled

  • isRenderWhitespaceEnabled(): boolean

Protected isZeroLengthRange

  • isZeroLengthRange(range: Range): boolean

Protected onCurrentEditorChanged

  • onCurrentEditorChanged(editorWidget: undefined | EditorWidget): void

Protected onCursorPositionChanged

  • onCursorPositionChanged(editor: TextEditor, position: Position): void

Protected onDocumentContentChanged

Protected onMouseDown

  • onMouseDown(event: MouseEvent): Promise<void>

Protected onSelectionChanged

  • onSelectionChanged(editor: TextEditor, selection: Range): void

onStart

  • onStart(): Promise<void>

onStop

  • onStop(): void

Protected reopenLastClosedEditor

  • reopenLastClosedEditor(): Promise<void>

Protected restoreClosedEditors

  • restoreClosedEditors(): Promise<void>

Protected restoreNavigationLocations

  • restoreNavigationLocations(): Promise<void>

Protected restoreState

  • restoreState(): Promise<void>

Private shouldNavigateWithMouse

  • shouldNavigateWithMouse(): boolean

Private shouldStoreClosedEditors

  • shouldStoreClosedEditors(): boolean

Protected storeState

  • storeState(): Promise<void>

Protected toggleMinimap

  • toggleMinimap(): Promise<void>

Protected toggleRenderWhitespace

  • toggleRenderWhitespace(): Promise<void>

Protected toggleWordWrap

  • toggleWordWrap(): Promise<void>