Namespace CommandIDs

A namespace for command IDs of semantic extension points.

Index

Variables

activateById activatePreviouslyUsedTab changeKernel clearAll clearCurrent closeAndCleanup createConsole find getKernel goToLine interruptKernel lineNumbering logout matchBrackets openEdit openFile openFirst openHelp openKernel openRun openSettings openTabs openView reconnectToKernel redo restartAndRunAll restartKernel restartKernelAndClear run runAbove runAll runBelow shutdown shutdownAllKernels shutdownKernel undo wordWrap

Settings

Member Visibility

Theme