GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
codemirror
PythonBuiltin
Class PythonBuiltin
Index
Constructors
constructor
Properties
decorated
To
decorations
lang
Python
mark
tree
Methods
build
Deco
update
Constructors
constructor
new
PythonBuiltin
(
view
:
EditorView
,
langPython
:
Language
)
:
PythonBuiltin
Parameters
view
:
EditorView
langPython
:
Language
Returns
PythonBuiltin
Properties
decorated
To
decoratedTo
:
number
decorations
decorations
:
DecorationSet
lang
Python
langPython
:
Language
mark
mark
:
Decoration
tree
tree
:
Tree
Methods
build
Deco
buildDeco
(
view
:
EditorView
)
:
DecorationSet
Parameters
view
:
EditorView
Returns
DecorationSet
update
update
(
update
:
ViewUpdate
)
:
void
Parameters
update
:
ViewUpdate
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
decorated
To
decorations
lang
Python
mark
tree
Methods
build
Deco
update
GitHub
Jupyter
@jupyterlab
Loading...