mirror of https://github.com/python/cpython
65 lines
1.7 KiB
Modula-2
65 lines
1.7 KiB
Modula-2
# IDLE reads several config files to determine user preferences. This
|
|
# file is the default config file for idle highlight theme settings.
|
|
|
|
[IDLE Classic]
|
|
normal-foreground= #000000
|
|
normal-background= #ffffff
|
|
keyword-foreground= #ff7700
|
|
keyword-background= #ffffff
|
|
builtin-foreground= #900090
|
|
builtin-background= #ffffff
|
|
comment-foreground= #dd0000
|
|
comment-background= #ffffff
|
|
string-foreground= #00aa00
|
|
string-background= #ffffff
|
|
definition-foreground= #0000ff
|
|
definition-background= #ffffff
|
|
hilite-foreground= #000000
|
|
hilite-background= gray
|
|
break-foreground= black
|
|
break-background= #ffff55
|
|
hit-foreground= #ffffff
|
|
hit-background= #000000
|
|
error-foreground= #000000
|
|
error-background= #ff7777
|
|
#cursor (only foreground can be set, restart IDLE)
|
|
cursor-foreground= black
|
|
#shell window
|
|
stdout-foreground= blue
|
|
stdout-background= #ffffff
|
|
stderr-foreground= red
|
|
stderr-background= #ffffff
|
|
console-foreground= #770000
|
|
console-background= #ffffff
|
|
|
|
[IDLE New]
|
|
normal-foreground= #000000
|
|
normal-background= #ffffff
|
|
keyword-foreground= #ff7700
|
|
keyword-background= #ffffff
|
|
builtin-foreground= #900090
|
|
builtin-background= #ffffff
|
|
comment-foreground= #dd0000
|
|
comment-background= #ffffff
|
|
string-foreground= #00aa00
|
|
string-background= #ffffff
|
|
definition-foreground= #0000ff
|
|
definition-background= #ffffff
|
|
hilite-foreground= #000000
|
|
hilite-background= gray
|
|
break-foreground= black
|
|
break-background= #ffff55
|
|
hit-foreground= #ffffff
|
|
hit-background= #000000
|
|
error-foreground= #000000
|
|
error-background= #ff7777
|
|
#cursor (only foreground can be set, restart IDLE)
|
|
cursor-foreground= black
|
|
#shell window
|
|
stdout-foreground= blue
|
|
stdout-background= #ffffff
|
|
stderr-foreground= red
|
|
stderr-background= #ffffff
|
|
console-foreground= #770000
|
|
console-background= #ffffff
|