extension.ts

import * as vscode from 'vscode';
import { DepNodeProvider } from './theia/deadlockPanel';
import BriefingView, { BRIEFING_ID } from './view/briefingView';
import { OPEN_BRIEFING_COMMAND } from './theia/command';
import UserConfigTheia from './theia/userConfigTheia';

export function initViews() {
  new BriefingView();
}

export const userConfig = new UserConfigTheia();

export async function activate(context: vscode.ExtensionContext) {

  await userConfig.init();

  initViews();

  await vscode.commands.executeCommand(OPEN_BRIEFING_COMMAND.cmd);

  // @ts-ignore
  const deadlockPanelProvider = new DepNodeProvider(vscode.workspace.rootPath);
  vscode.window.registerTreeDataProvider(
    'deadlockPanel',
    deadlockPanelProvider
  );

}