// Copyright (c) Jupyter Development Team.
// Distributed under the terms of the Modified BSD License.

export * from './handler';
export * from './inspector';


/**
 * The command IDs used by the inspector plugin.
 */
export
namespace CommandIDs {
  export
  const open: string = 'inspector:open';
};