Function getFontFamily

src/core/FontMeasurements.ts:101–104

()

}

function getFontFamily() {
  const config = vscode.workspace.getConfiguration("editor");
  return config.get<string>("fontFamily")!;
}

function getWebviewContent() {
  // baseline adjustment based on https://stackoverflow.com/a/27295528