Function getFontRatios

src/core/FontMeasurements.ts:60–94

* Rapidly shows a webview in order to measure the width and height of a character in the users font * * @returns The width and height ratios of the font

()

 * @returns The width and height ratios of the font
 */
function getFontRatios() {
  const panel = vscode.window.createWebviewPanel(
    "cursorless.loading",
    "Cursorless",
    {
      preserveFocus: true,
      viewColumn: vscode.ViewColumn.Active,
    },
    {
      enableScripts: true,
    }
  );

  panel.webview.html = getWebviewContent();

  interface FontRatios {
    /**
     * The ratio of the width of a character in the given font to the font size
     */
    widthRatio: number;

    /**
     * The ratio of the height of a character in the given font to the font
     * size. The height is measured from the baseline to the top of the span
     */
    heightRatio: number;
  }

  return new Promise<FontRatios>((resolve) => {
    panel.webview.onDidReceiveMessage((message) => {
      panel.dispose();
      resolve(message);
    });
  });
}

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