@@ -29,6 +29,7 @@ const myTheme = createTheme({
2929 selection: ' #036dd626' ,
3030 selectionMatch: ' #036dd626' ,
3131 lineHighlight: ' #8a91991a' ,
32+ gutterBorder: ' 1px solid #ffffff10' ,
3233 gutterBackground: ' #fff' ,
3334 gutterForeground: ' #8a919966' ,
3435 },
@@ -292,19 +293,17 @@ export interface CreateThemeOptions {
292293 * Settings to customize the look of the editor, like background, gutter, selection and others.
293294 */
294295 settings: Settings ;
295- /**
296- * Syntax highlighting styles.
297- */
296+ /** Syntax highlighting styles. */
298297 styles: TagStyle [];
299298}
300- declare type Theme = ' light' | ' dark' ;
299+ type Theme = ' light' | ' dark' ;
301300export interface Settings {
302301 /** Editor background color. */
303- background: string ;
302+ background? : string ;
304303 /** Editor background image. */
305304 backgroundImage? : string ;
306305 /** Default text color. */
307- foreground: string ;
306+ foreground? : string ;
308307 /** Caret color. */
309308 caret? : string ;
310309 /** Selection background. */
@@ -324,7 +323,7 @@ export interface Settings {
324323 /** set editor font */
325324 fontFamily? : string ;
326325}
327- declare const createTheme: ({ dark , settings, styles }: CreateThemeOptions ) => Extension ;
326+ export declare const createTheme: ({ theme , settings, styles }: CreateThemeOptions ) => Extension ;
328327export default createTheme ;
329328```
330329
0 commit comments