Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/console
console-widget
ConsoleOptions
Interface ConsoleOptions
interface
ConsoleOptions
{
id
:
string
;
input
:
{
options
?:
MonacoEditor
.
IOptions
;
uri
:
URI
}
;
inputFocusContextKey
?:
ContextKey
<
boolean
>
;
title
?:
{
caption
?:
string
;
iconClass
?:
string
;
label
?:
string
}
;
}
Index
Properties
id
input
input
Focus
Context
Key?
title?
Properties
id
id
:
string
input
input
:
{
options
?:
MonacoEditor
.
IOptions
;
uri
:
URI
}
Optional
input
Focus
Context
Key
inputFocusContextKey
?:
ContextKey
<
boolean
>
Optional
title
title
?:
{
caption
?:
string
;
iconClass
?:
string
;
label
?:
string
}
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
id
input
input
Focus
Context
Key
title
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...