message: Remove duplicate RoiManager.
diff: @@ -140,15 +140,7 @@ export function activate(context: vscode.ExtensionContext) {
  let roiManager: RoiManager | undefined = null;
  if (server.supportsROI) {
  roiManager = new RoiManager(server);
  - }
  -
  - // Add item to the status bar.
  - context.subscriptions.push(new LeanStatusBarItem(server, roiManager));
  -
  - if (server.supportsROI) {
  - let roiManager = new RoiManager(server);
  - context.subscriptions.push(roiManager);
  -
  + context.subscriptions.push(roiManager)
  context.subscriptions.push(vscode.commands.registerCommand("lean.roiMode.nothing",
  () => roiManager.check(RoiMode.Nothing)));
  context.subscriptions.push(vscode.commands.registerCommand("lean.roiMode.visibleFiles",
  @@ -159,6 +151,9 @@ export function activate(context: vscode.ExtensionContext) {
  () => roiManager.check(RoiMode.ProjectFiles)));
  }
  + // Add item to the status bar.
  + context.subscriptions.push(new LeanStatusBarItem(server, roiManager));
  +
  let taskDecoration = vscode.window.createTextEditorDecorationType({
  overviewRulerLane: vscode.OverviewRulerLane.Left,
  overviewRulerColor: 'rgba(255, 165, 0, 0.5)',
  