GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
debugger
IDebugger
ISources
IEditor
Interface IEditor
Source editor interface
interface
IEditor
{
src
:
ISharedText
;
get
(
)
:
null
|
CodeEditor
.
IEditor
;
reveal
(
)
:
Promise
<
void
>
;
}
Index
Properties
src
Methods
get
reveal
Properties
src
src
:
ISharedText
Editor source text
Methods
get
get
(
)
:
null
|
CodeEditor
.
IEditor
Editor getter
Returns
null
|
CodeEditor
.
IEditor
reveal
reveal
(
)
:
Promise
<
void
>
Reveal editor
Returns
Promise
<
void
>
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
On This Page
src
get
reveal
@jupyterlab
Loading...
Source editor interface