GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
fileeditor-extension
Commands
addCommands
Function addCommands
add
Commands
(
commands
,
settingRegistry
,
trans
,
id
,
isEnabled
,
tracker
,
defaultBrowser
,
extensions
,
languages
,
consoleTracker
,
sessionDialogs
,
shell
)
:
void
Wrapper function for adding the default File Editor commands
Parameters
commands
:
CommandRegistry
settingRegistry
:
ISettingRegistry
trans
:
IRenderMime
.
TranslationBundle
id
:
string
isEnabled
:
(
(
)
=>
boolean
)
(
)
:
boolean
Returns
boolean
tracker
:
WidgetTracker
<
IDocumentWidget
<
FileEditor
,
DocumentRegistry
.
IModel
>
>
defaultBrowser
:
FileBrowser
extensions
:
IEditorExtensionRegistry
languages
:
IEditorLanguageRegistry
consoleTracker
:
null
|
IConsoleTracker
sessionDialogs
:
ISessionContextDialogs
shell
:
IShell
Returns
void
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
@jupyterlab
Loading...
Wrapper function for adding the default File Editor commands