feat: add font size setting to the theme. #651

Author: jaywcjlove

themes/theme/src/index.tsx

@@ -43,6 +43,8 @@ export interface Settings {
   gutterBorder?: string;
   /** set editor font */
   fontFamily?: string;
+  /** set editor font size */
+  fontSize?: StyleSpec;
 }
 
 export const createTheme = ({ theme, settings = {}, styles = [] }: CreateThemeOptions): Extension => {
@@ -59,6 +61,9 @@ export const createTheme = ({ theme, settings = {}, styles = [] }: CreateThemeOp
   if (settings.foreground) {
     baseStyle.color = settings.foreground;
   }
+  if (settings.fontSize) {
+    baseStyle.fontSize = settings.fontSize;
+  }
   if (settings.background || settings.foreground) {
     themeOptions['&'] = baseStyle;
   }