2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								<?xml version="1.0" encoding="UTF-8" ?>  
						 
					
						
							
								
									
										
										
										
											2023-03-01 01:44:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<class  name= "CodeHighlighter"  inherits= "SyntaxHighlighter"  version= "4.1"  xmlns:xsi= "http://www.w3.org/2001/XMLSchema-instance"  xsi:noNamespaceSchemaLocation= "../class.xsd" >  
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
									<brief_description > 
							 
						 
					
						
							
								
									
										
										
										
											2023-04-30 16:26:09 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										A syntax highlighter intended for code.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
									</brief_description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<description > 
							 
						 
					
						
							
								
									
										
										
										
											2023-04-30 16:26:09 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										By adjusting various properties of this resource, you can change the colors of strings, comments, numbers, and other text patterns inside a [TextEdit] control.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
									</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<tutorials > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</tutorials> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<methods > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "add_color_region" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "start_key"  type= "String"  /> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
											<param  index= "1"  name= "end_key"  type= "String"  /> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
											<param  index= "2"  name= "color"  type= "Color"  /> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
											<param  index= "3"  name= "line_only"  type= "bool"  default= "false"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Adds a color region such as comments or strings.
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
												Both the start and end keys must be symbols. Only the start key has to be unique.
							 
						 
					
						
							
								
									
										
										
										
											2023-02-20 11:18:57 +08:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												[param line_only] denotes if the region should continue until the end of the line or carry over on to the next line. If the end key is blank this is automatically set to [code]true[/code].
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "add_keyword_color" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "keyword"  type= "String"  /> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
											<param  index= "1"  name= "color"  type= "Color"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Sets the color for a keyword.
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
												The keyword cannot contain any symbols except '_'.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "add_member_keyword_color" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "member_keyword"  type= "String"  /> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
											<param  index= "1"  name= "color"  type= "Color"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Sets the color for a member keyword.
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
												The member keyword cannot contain any symbols except '_'.
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
												It will not be highlighted if preceded by a '.'.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "clear_color_regions" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Removes all color regions.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "clear_keyword_colors" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Removes all keywords.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "clear_member_keyword_colors" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Removes all member keywords.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "get_keyword_color"  qualifiers= "const" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "Color"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "keyword"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Returns the color for a keyword.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "get_member_keyword_color"  qualifiers= "const" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "Color"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "member_keyword"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Returns the color for a member keyword.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "has_color_region"  qualifiers= "const" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "bool"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "start_key"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2022-01-02 18:32:49 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Returns [code]true[/code] if the start key exists, else [code]false[/code].
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "has_keyword_color"  qualifiers= "const" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "bool"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "keyword"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2022-01-02 18:32:49 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Returns [code]true[/code] if the keyword exists, else [code]false[/code].
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "has_member_keyword_color"  qualifiers= "const" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "bool"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "member_keyword"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2022-01-02 18:32:49 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Returns [code]true[/code] if the member keyword exists, else [code]false[/code].
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "remove_color_region" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "start_key"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Removes the color region that uses that start key.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "remove_keyword_color" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "keyword"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Removes the keyword.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<method  name= "remove_member_keyword_color" > 
							 
						 
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<return  type= "void"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											<param  index= "0"  name= "member_keyword"  type= "String"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											<description > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
												Removes the member keyword.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
											</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										</method> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</methods> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<members > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<member  name= "color_regions"  type= "Dictionary"  setter= "set_color_regions"  getter= "get_color_regions"  default= "{}" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets the color regions. All existing regions will be removed. The [Dictionary] key is the region start and end key, separated by a space. The value is the region color.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-24 14:45:03 -03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<member  name= "function_color"  type= "Color"  setter= "set_function_color"  getter= "get_function_color"  default= "Color(0, 0, 0, 1)" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets color for functions. A function is a non-keyword string followed by a '('.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<member  name= "keyword_colors"  type= "Dictionary"  setter= "set_keyword_colors"  getter= "get_keyword_colors"  default= "{}" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets the keyword colors. All existing keywords will be removed. The [Dictionary] key is the keyword. The value is the keyword color.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<member  name= "member_keyword_colors"  type= "Dictionary"  setter= "set_member_keyword_colors"  getter= "get_member_keyword_colors"  default= "{}" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets the member keyword colors. All existing member keyword will be removed. The [Dictionary] key is the member keyword. The value is the member keyword color.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-24 14:45:03 -03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<member  name= "member_variable_color"  type= "Color"  setter= "set_member_variable_color"  getter= "get_member_variable_color"  default= "Color(0, 0, 0, 1)" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets color for member variables. A member variable is non-keyword, non-function string proceeded with a '.'.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-24 14:45:03 -03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<member  name= "number_color"  type= "Color"  setter= "set_number_color"  getter= "get_number_color"  default= "Color(0, 0, 0, 1)" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets the color for numbers.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-24 14:45:03 -03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<member  name= "symbol_color"  type= "Color"  setter= "set_symbol_color"  getter= "get_symbol_color"  default= "Color(0, 0, 0, 1)" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Sets the color for symbols.
							 
						 
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</member> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</members> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</class>