|
1 # IDLE reads several config files to determine user preferences. This |
|
2 # file is the default config file for idle highlight theme settings. |
|
3 |
|
4 [IDLE Classic] |
|
5 normal-foreground= #000000 |
|
6 normal-background= #ffffff |
|
7 keyword-foreground= #ff7700 |
|
8 keyword-background= #ffffff |
|
9 builtin-foreground= #900090 |
|
10 builtin-background= #ffffff |
|
11 comment-foreground= #dd0000 |
|
12 comment-background= #ffffff |
|
13 string-foreground= #00aa00 |
|
14 string-background= #ffffff |
|
15 definition-foreground= #0000ff |
|
16 definition-background= #ffffff |
|
17 hilite-foreground= #000000 |
|
18 hilite-background= gray |
|
19 break-foreground= black |
|
20 break-background= #ffff55 |
|
21 hit-foreground= #ffffff |
|
22 hit-background= #000000 |
|
23 error-foreground= #000000 |
|
24 error-background= #ff7777 |
|
25 #cursor (only foreground can be set, restart IDLE) |
|
26 cursor-foreground= black |
|
27 #shell window |
|
28 stdout-foreground= blue |
|
29 stdout-background= #ffffff |
|
30 stderr-foreground= red |
|
31 stderr-background= #ffffff |
|
32 console-foreground= #770000 |
|
33 console-background= #ffffff |
|
34 |
|
35 [IDLE New] |
|
36 normal-foreground= #000000 |
|
37 normal-background= #ffffff |
|
38 keyword-foreground= #ff7700 |
|
39 keyword-background= #ffffff |
|
40 builtin-foreground= #900090 |
|
41 builtin-background= #ffffff |
|
42 comment-foreground= #dd0000 |
|
43 comment-background= #ffffff |
|
44 string-foreground= #00aa00 |
|
45 string-background= #ffffff |
|
46 definition-foreground= #0000ff |
|
47 definition-background= #ffffff |
|
48 hilite-foreground= #000000 |
|
49 hilite-background= gray |
|
50 break-foreground= black |
|
51 break-background= #ffff55 |
|
52 hit-foreground= #ffffff |
|
53 hit-background= #000000 |
|
54 error-foreground= #000000 |
|
55 error-background= #ff7777 |
|
56 #cursor (only foreground can be set, restart IDLE) |
|
57 cursor-foreground= black |
|
58 #shell window |
|
59 stdout-foreground= blue |
|
60 stdout-background= #ffffff |
|
61 stderr-foreground= red |
|
62 stderr-background= #ffffff |
|
63 console-foreground= #770000 |
|
64 console-background= #ffffff |