2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								<?xml version="1.0" encoding="UTF-8" ?>  
						 
					
						
							
								
									
										
										
										
											2020-01-26 16:01:49 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<class  name= "ToolButton"  inherits= "Button"  version= "3.2" >  
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
									<brief_description > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										Flat button helper class.
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</brief_description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<description > 
							 
						 
					
						
							
								
									
										
										
										
											2019-03-29 23:37:35 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										This is a helper class to generate a flat [Button] (see [member Button.flat]), creating a [ToolButton] is equivalent to:
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										[codeblock]
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										var btn = Button.new()
							 
						 
					
						
							
								
									
										
										
										
											2019-01-07 11:46:26 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										btn.flat = true
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										[/codeblock]
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</description> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<tutorials > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</tutorials> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<methods > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</methods> 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-03 13:44:58 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
									<members > 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-24 13:34:03 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<member  name= "flat"  type= "bool"  setter= "set_flat"  getter= "is_flat"  override= "true"  default= "true"  /> 
							 
						 
					
						
							
								
									
										
										
										
											2019-09-03 13:44:58 +03:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
									</members> 
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
									<constants > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</constants> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									<theme_items > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<theme_item  name= "disabled"  type= "StyleBox" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											[StyleBox] used when the [ToolButton] is disabled.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<theme_item  name= "focus"  type= "StyleBox" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-02-04 15:46:01 +08:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											[StyleBox] used when the [ToolButton] is focused. It is displayed over the current [StyleBox], so using [StyleBoxEmpty] will just disable the focus visual effect.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<theme_item  name= "font"  type= "Font" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											[Font] of the [ToolButton]'s text.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
									
										
										
										
											2019-07-09 09:13:00 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<theme_item  name= "font_color"  type= "Color"  default= "Color( 0.88, 0.88, 0.88, 1 )" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Default text [Color] of the [ToolButton].
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
									
										
										
										
											2019-06-29 12:38:01 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<theme_item  name= "font_color_disabled"  type= "Color"  default= "Color( 0.9, 0.95, 1, 0.3 )" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Text [Color] used when the [ToolButton] is disabled.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
									
										
										
										
											2019-07-09 09:13:00 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<theme_item  name= "font_color_hover"  type= "Color"  default= "Color( 0.94, 0.94, 0.94, 1 )" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Text [Color] used when the [ToolButton] is being hovered.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
									
										
										
										
											2019-06-29 12:38:01 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<theme_item  name= "font_color_pressed"  type= "Color"  default= "Color( 1, 1, 1, 1 )" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Text [Color] used when the [ToolButton] is being pressed.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<theme_item  name= "hover"  type= "StyleBox" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											[StyleBox] used when the [ToolButton] is being hovered.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
									
										
										
										
											2019-06-29 12:38:01 +02:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
										<theme_item  name= "hseparation"  type= "int"  default= "3" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											The horizontal space between [ToolButton]'s icon and text.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<theme_item  name= "normal"  type= "StyleBox" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											Default [StyleBox] for the [ToolButton].
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
										<theme_item  name= "pressed"  type= "StyleBox" > 
							 
						 
					
						
							
								
									
										
										
										
											2020-01-27 02:15:37 +01:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
											[StyleBox] used when the [ToolButton] is being pressed.
							 
						 
					
						
							
								
									
										
										
										
											2017-09-12 17:42:36 -03:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
										</theme_item> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
									</theme_items> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</class>