Class EditorViewAddinInterface

Hierarchy

EditorViewAddinInterface

Index

Constructors

constructor

Properties

Methods

Constructors

constructor

new EditorViewAddinInterface(): Ide.EditorViewAddinInterface

Returns Ide.EditorViewAddinInterface

Properties

parent

parent: TypeInterface

Static name

name: string

Methods

language_changed

language_changed(self: Ide.EditorViewAddin, language_id: string): void

- Defined in @types/Gjs/Ide-1.0.d.ts:17975
Parameters
- self: Ide.EditorViewAddin
- language_id: string
Returns void

load

load(self: Ide.EditorViewAddin, view: Ide.EditorView): void

- Defined in @types/Gjs/Ide-1.0.d.ts:17973
Parameters
- self: Ide.EditorViewAddin
- view: Ide.EditorView
Returns void

load_source_view

load_source_view(self: Ide.EditorViewAddin, source_view: SourceView): void

- Defined in @types/Gjs/Ide-1.0.d.ts:17976
Parameters
- self: Ide.EditorViewAddin
- source_view: SourceView
Returns void

unload

unload(self: Ide.EditorViewAddin, view: Ide.EditorView): void

- Defined in @types/Gjs/Ide-1.0.d.ts:17974
Parameters
- self: Ide.EditorViewAddin
- view: Ide.EditorView
Returns void

unload_source_view

unload_source_view(self: Ide.EditorViewAddin, source_view: SourceView): void

- Defined in @types/Gjs/Ide-1.0.d.ts:17977
Parameters
- self: Ide.EditorViewAddin
- source_view: SourceView
Returns void