@@ -29,6 +29,7 @@ const myTheme = createTheme({
29
29
selection: ' #036dd626' ,
30
30
selectionMatch: ' #036dd626' ,
31
31
lineHighlight: ' #8a91991a' ,
32
+ gutterBorder: ' 1px solid #ffffff10' ,
32
33
gutterBackground: ' #fff' ,
33
34
gutterForeground: ' #8a919966' ,
34
35
},
@@ -292,19 +293,17 @@ export interface CreateThemeOptions {
292
293
* Settings to customize the look of the editor, like background, gutter, selection and others.
293
294
*/
294
295
settings: Settings ;
295
- /**
296
- * Syntax highlighting styles.
297
- */
296
+ /** Syntax highlighting styles. */
298
297
styles: TagStyle [];
299
298
}
300
- declare type Theme = ' light' | ' dark' ;
299
+ type Theme = ' light' | ' dark' ;
301
300
export interface Settings {
302
301
/** Editor background color. */
303
- background: string ;
302
+ background? : string ;
304
303
/** Editor background image. */
305
304
backgroundImage? : string ;
306
305
/** Default text color. */
307
- foreground: string ;
306
+ foreground? : string ;
308
307
/** Caret color. */
309
308
caret? : string ;
310
309
/** Selection background. */
@@ -324,7 +323,7 @@ export interface Settings {
324
323
/** set editor font */
325
324
fontFamily? : string ;
326
325
}
327
- declare const createTheme: ({ dark , settings, styles }: CreateThemeOptions ) => Extension ;
326
+ export declare const createTheme: ({ theme , settings, styles }: CreateThemeOptions ) => Extension ;
328
327
export default createTheme ;
329
328
```
330
329
0 commit comments