Options
All
  • Public
  • Public/Protected
  • All
Menu

Module shortcuts-extension

Index

Variables

Variables

Const default

default: JupyterFrontEndPlugin<void> = ...

Export the shortcut plugin as default.

Generated using TypeDoc