Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
browser/base/terminal-widget
TerminalDimensions

Interface TerminalDimensions

interface TerminalDimensions {
cols: number;
rows: number;
}

Defined in packages/terminal/src/browser/base/terminal-widget.ts:26

Index

Properties

Properties

cols

cols: number

Defined in packages/terminal/src/browser/base/terminal-widget.ts:27

rows

rows: number

Defined in packages/terminal/src/browser/base/terminal-widget.ts:28

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...