GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
fileeditor-extension
Commands
addChangeFontSizeCommandsToPalette
Function addChangeFontSizeCommandsToPalette
addChangeFontSizeCommandsToPalette
(
palette
:
ICommandPalette
,
trans
:
IRenderMime
.
TranslationBundle
,
)
:
void
Add commands to change the font size to the File Editor palette
Parameters
palette
:
ICommandPalette
trans
:
IRenderMime
.
TranslationBundle
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
GitHub
Jupyter
@jupyterlab
Loading...
Add commands to change the font size to the File Editor palette