import type { Theme } from "@/styles/theme";

/**
 * Compute the pixel width for a line-number gutter based on the highest
 * line number that will be displayed. Minimum width accommodates 2 digits.
 */
export function lineNumberGutterWidth(maxLineNumber: number): number {
  const digits = Math.max(2, String(maxLineNumber).length);
  return digits * 8 + 12;
}

export function getCodeInsets(theme: Theme) {
  let padding: number;
  if (typeof theme.spacing?.[3] === "number") padding = theme.spacing[3];
  else if (typeof theme.spacing?.[4] === "number") padding = theme.spacing[4];
  else padding = 12;
  const extraRight = theme.spacing[4];
  const extraBottom = theme.spacing[3];

  return { padding, extraRight, extraBottom };
}