/**
 * A namespace for dashboard command ids.
 */
export namespace CommandIDs {
  export const deleteOutput = 'dashboard:delete-dashboard-widget';
  export const undo = 'dashboard:undo';
  export const redo = 'dashboard:redo';
  export const save = 'dashboard:save';
  export const saveAs = 'dashboard:save-as';
  export const load = 'dashboard:load';
  export const toggleFitContent = 'dashboard-widget:toggleFitContent';
  export const toggleMode = 'dashboard:toggleMode';
  export const setDimensions = 'dashboard:setDimensions';
  export const cut = 'dashboard:cut';
  export const copy = 'dashboard:copy';
  export const paste = 'dashboard:paste';
  export const runOutput = 'dashboard:run-output';
  export const runAllAboveOutput = 'dashboard:run-all-above-output';
  export const startFullscreen = 'dashboard:start-fullscreen';
  export const createNew = 'dashboard:create-new';
  export const setTileSize = 'dashboard:set-tile-size';
  export const saveToMetadata = 'dashboard:save-to-metadata';
  export const openFromMetadata = 'dashboard:open-from-metadata';
  export const toggleWidgetMode = 'dashboard:toggle-widget-mode';
  export const toggleInfiniteScroll = 'dashboard:toggle-infinite-scroll';
  export const trimDashboard = 'dashboard:trim-dashboard';
}
