2003-05-18 02:21:55 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								# IDLE reads several config files to determine user preferences.  This
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								# file is the default config file for idle highlight theme settings.
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								[IDLE Classic]
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								normal-foreground= #000000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								normal-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								keyword-foreground= #ff7700
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								keyword-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2004-03-16 03:36:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								builtin-foreground= #900090
							 | 
						
					
						
							
								
									
										
										
										
											2004-03-08 18:15:31 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								builtin-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								comment-foreground= #dd0000
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								comment-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								string-foreground= #00aa00
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								string-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								definition-foreground= #0000ff
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								definition-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2002-02-11 02:20:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								hilite-foreground= #000000
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								hilite-background= gray
							 | 
						
					
						
							
								
									
										
										
										
											2002-06-20 04:01:47 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								break-foreground= black
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								break-background= #ffff55
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								hit-foreground= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								hit-background= #000000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								error-foreground= #000000
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								error-background= #ff7777
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-23 15:22:11 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								context-foreground= #000000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								context-background= lightgray
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								linenumber-foreground= gray
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								linenumber-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2004-03-16 03:36:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#cursor (only foreground can be set, restart IDLE)
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								cursor-foreground= black
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								#shell window
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stdout-foreground= blue
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								stdout-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stderr-foreground= red
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								stderr-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								console-foreground= #770000
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								console-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								[IDLE New]
							 | 
						
					
						
							
								
									
										
										
										
											2002-02-11 02:20:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								normal-foreground= #000000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								normal-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								keyword-foreground= #ff7700
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								keyword-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2004-03-16 03:36:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								builtin-foreground= #900090
							 | 
						
					
						
							
								
									
										
										
										
											2004-03-08 18:15:31 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								builtin-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								comment-foreground= #dd0000
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								comment-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								string-foreground= #00aa00
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								string-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								definition-foreground= #0000ff
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								definition-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2002-02-11 02:20:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								hilite-foreground= #000000
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								hilite-background= gray
							 | 
						
					
						
							
								
									
										
										
										
											2002-06-20 04:01:47 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								break-foreground= black
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								break-background= #ffff55
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								hit-foreground= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								hit-background= #000000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								error-foreground= #000000
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								error-background= #ff7777
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-23 15:22:11 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								context-foreground= #000000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								context-background= lightgray
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								linenumber-foreground= gray
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								linenumber-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2004-03-16 03:36:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#cursor (only foreground can be set, restart IDLE)
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								cursor-foreground= black
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								#shell window
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stdout-foreground= blue
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								stdout-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stderr-foreground= red
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								stderr-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2001-09-24 09:43:17 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								console-foreground= #770000
							 | 
						
					
						
							
								
									
										
										
										
											2002-01-03 12:05:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								console-background= #ffffff
							 | 
						
					
						
							
								
									
										
										
										
											2015-10-04 00:31:05 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								[IDLE Dark]
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								comment-foreground = #dd0000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								console-foreground = #ff4d4d
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								error-foreground = #FFFFFF
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								hilite-background = #7e7e7e
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								string-foreground = #02ff02
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stderr-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stderr-foreground = #ffb3b3
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								console-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								hit-background = #fbfbfb
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								string-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								normal-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								hilite-foreground = #FFFFFF
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								keyword-foreground = #ff8000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								error-background = #c86464
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								keyword-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								builtin-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								break-background = #808000
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								builtin-foreground = #ff00ff
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								definition-foreground = #5e5eff
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stdout-foreground = #c2d1fa
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								definition-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								normal-foreground = #FFFFFF
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								cursor-foreground = #ffffff
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								stdout-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								hit-foreground = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								comment-background = #002240
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								break-foreground = #FFFFFF
							 | 
						
					
						
							
								
									
										
										
										
											2018-06-01 21:45:54 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								context-foreground= #ffffff
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								context-background= #454545
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-23 15:22:11 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								linenumber-foreground= gray
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								linenumber-background= #002240
							 |