Function getFontSize

src/core/FontMeasurements.ts:96–99

()

}

function getFontSize() {
  const config = vscode.workspace.getConfiguration("editor");
  return config.get<number>("fontSize")!;
}

function getFontFamily() {
  const config = vscode.workspace.getConfiguration("editor");