vscode#TextEditorDecorationType TypeScript Examples

colorizedBackgroundDecoration = (
  selections: Range[],
  editor: TextEditor,
  color: string,
): TextEditorDecorationType => {
  const backgroundColorDefaultID = 'codereview.code.selection.background';
  const backgroundColorDefault = new ThemeColor(backgroundColorDefaultID);
  let backgroundColor: string | ThemeColor;
  if (color === backgroundColorDefaultID) {
    backgroundColor = backgroundColorDefault;
  } else if (isValidColorDefinition(color)) {
    backgroundColor = color;
  } else {
    console.log(`Invalid background color definition: ${color}`);
    backgroundColor = backgroundColorDefault;
  }

  const decoration = window.createTextEditorDecorationType({
    backgroundColor: backgroundColor,
  });
  editor.setDecorations(decoration, selections);

  return decoration;
}

private static createTextEditorDecoration(): TextEditorDecorationType {
    const customOptions = Configuration.get<IColorOptions>(ConfigurationConstants.CounterExamples.Color);
    return window.createTextEditorDecorationType({
      dark:{
        after: {
          backgroundColor: customOptions.backgroundColor ?? DefaultDarkBackgroundColor,
          color: customOptions.fontColor ?? DefaultDarkFontColor,
          margin: DefaultMargin
        }
      },
      light: {
        after: {
          backgroundColor: customOptions.backgroundColor ?? DefaultLightBackgroundColor,
          color: customOptions.fontColor ?? DefaultLightFontColor,
          margin: DefaultMargin
        }
      }
    });
  }

/// Creation of an decoration type
  private static iconOf(context: ExtensionContext, path: string, grayMode: boolean): TextEditorDecorationType {
    const icon = context.asAbsolutePath(`images/${path}.png`);
    return window.createTextEditorDecorationType({
      isWholeLine: true,
      rangeBehavior: 1,
      gutterIconPath: icon,
      overviewRulerColor:
        grayMode ? (path === 'resolution-error' ? ScrollColor.Error : ScrollColor.Unknown)
          : path.startsWith('error-range')
            ? ScrollColor.ErrorRange
            : path.startsWith('error')
              ? ScrollColor.Error
              : path.startsWith('verified')
                ? ScrollColor.Verified
                : ScrollColor.Unknown
    });
  }

/////////////////// Gutter rendering ///////////////////

  // For every decoration in the set of animated decorations,
  // sets all their ranges to empty except for the one corresponding to the animation frame.
  private animateIcon(editor: TextEditor, iconFrames: TextEditorDecorationType[], ranges: Range[]) {
    for(let i = 0; i < iconFrames.length; i++) {
      editor.setDecorations(iconFrames[i], this.animationFrame === i ? ranges : []);
    }
  }

EDITOR_DECORATION_TYPES: {
  [key in keyof typeof DECORATION_TYPES]: TextEditorDecorationType;
} = {
  timestamp: window.createTextEditorDecorationType({}),
  blockAnchor: window.createTextEditorDecorationType({
    opacity: "40%",
    rangeBehavior: DecorationRangeBehavior.ClosedOpen,
  }),
  /** Decoration for wikilinks that point to valid notes. */
  wikiLink: window.createTextEditorDecorationType({
    color: new ThemeColor("editorLink.activeForeground"),
    rangeBehavior: DecorationRangeBehavior.ClosedClosed,
  }),
  /** Decoration for wikilinks that do *not* point to valid notes (e.g. broken). */
  brokenWikilink: window.createTextEditorDecorationType({
    color: new ThemeColor("editorWarning.foreground"),
    backgroundColor: new ThemeColor("editorWarning.background"),
    rangeBehavior: DecorationRangeBehavior.ClosedClosed,
  }),
  /** Decoration for the alias part of wikilinks. */
  alias: window.createTextEditorDecorationType({
    fontStyle: "italic",
  }),
  taskNote: window.createTextEditorDecorationType({
    rangeBehavior: DecorationRangeBehavior.ClosedClosed,
  }),
}

static priorityEDecorationType: TextEditorDecorationType;

static priorityBDecorationType: TextEditorDecorationType;

static priorityFDecorationType: TextEditorDecorationType;

static tagsDecorationType: TextEditorDecorationType;

static tagWithDelimiterDecorationType: TextEditorDecorationType;

static tagsDelimiterDecorationType: TextEditorDecorationType;

static specialTagDecorationType: TextEditorDecorationType;

static projectDecorationType: TextEditorDecorationType;

static contextDecorationType: TextEditorDecorationType;

static notDueDecorationType: TextEditorDecorationType;

static dueDecorationType: TextEditorDecorationType;

static overdueDecorationType: TextEditorDecorationType;

static invalidDueDateDecorationType: TextEditorDecorationType;

static closestDueDateDecorationType: TextEditorDecorationType;

static nestedTasksCountDecorationType: TextEditorDecorationType;

static nestedTasksPieDecorationType: TextEditorDecorationType;

static priorityDDecorationType: TextEditorDecorationType;

static priorityCDecorationType: TextEditorDecorationType;

readonly RED: TextEditorDecorationType = window.createTextEditorDecorationType({
        isWholeLine: true,
        rangeBehavior: DecorationRangeBehavior.ClosedClosed,
        outline: 'none',
        backgroundColor: 'rgba(255, 20, 20, 0.2)',
        overviewRulerColor: new ThemeColor('editorOverviewRuler.errorForeground'),
        overviewRulerLane: OverviewRulerLane.Center
    });

static priorityADecorationType: TextEditorDecorationType;

static commentDecorationType: TextEditorDecorationType;

static completedTaskDecorationType: TextEditorDecorationType;

private decorations: Map<LeanFileProgressKind, [TextEditorDecorationType, string]> = new Map<LeanFileProgressKind, [TextEditorDecorationType, string]>();

constructor(private uri: string, private decorations: Map<LeanFileProgressKind, [TextEditorDecorationType, string]>, private processed: LeanFileProgressProcessingInfo[]) {
        this.schedule(100)
        this.processed = []
    }