Function: setDefaultShellManager()

function setDefaultShellManager(manager): void;

Defined in: tools/builtin/shell-manager.ts:576

Set a custom default shell manager

Parameters

Parameter	Type
manager	ShellManager

Returns

void