export interface Options {
  theme: string;
  insertSpaces: boolean;
  fontSize: number;
}