2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								<?xml version="1.0" encoding="UTF-8" ?>
							 | 
						
					
						
							
								
									
										
										
										
											2022-02-14 14:18:53 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								<class name="ScriptEditorBase" inherits="VBoxContainer" version="4.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../class.xsd">
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									<brief_description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										Base editor for editing scripts in the [ScriptEditor].
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									</brief_description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										Base editor for editing scripts in the [ScriptEditor], this does not include documentation items.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									<tutorials>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									</tutorials>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									<methods>
							 | 
						
					
						
							
								
									
										
										
										
											2021-10-11 18:13:31 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										<method name="add_syntax_highlighter">
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<return type="void" />
							 | 
						
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<param index="0" name="highlighter" type="EditorSyntaxHighlighter" />
							 | 
						
					
						
							
								
									
										
										
										
											2021-10-11 18:13:31 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
												Adds a [EditorSyntaxHighlighter] to the open script.
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</method>
							 | 
						
					
						
							
								
									
										
										
										
											2021-05-14 02:50:25 +07:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										<method name="get_base_editor" qualifiers="const">
							 | 
						
					
						
							
								
									
										
										
										
											2021-07-30 15:28:05 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<return type="Control" />
							 | 
						
					
						
							
								
									
										
										
										
											2021-05-14 02:50:25 +07:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
												Returns the underlying [Control] used for editing scripts. This can be either [CodeEdit] (for text scripts) or [GraphEdit] (for visual scripts).
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</method>
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									</methods>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									<signals>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="edited_script_changed">
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted after script validation. For visual scripts on modification.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="go_to_help">
							 | 
						
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<param index="0" name="what" type="String" />
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted when the user requests a specific documentation page.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="name_changed">
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted after script validation or when the edited resource has changed. Not used by visual scripts.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="replace_in_files_requested">
							 | 
						
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<param index="0" name="text" type="String" />
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted when the user request to find and replace text in the file system. Not used by visual scripts.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="request_help">
							 | 
						
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<param index="0" name="topic" type="String" />
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted when the user requests contextual help.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="request_open_script_at_line">
							 | 
						
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<param index="0" name="script" type="Object" />
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<param index="1" name="line" type="int" />
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted when the user requests a script.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="request_save_history">
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted when the user contextual goto and the item is in the same script.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										<signal name="search_in_files_requested">
							 | 
						
					
						
							
								
									
										
										
										
											2022-08-06 21:11:48 +03:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
											<param index="0" name="text" type="String" />
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											<description>
							 | 
						
					
						
							
								
									
										
										
										
											2020-10-11 17:07:33 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
												Emitted when the user request to search text in the file system. Not used by visual scripts.
							 | 
						
					
						
							
								
									
										
										
										
											2020-07-15 08:43:21 +02:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
											</description>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										</signal>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									</signals>
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								</class>
							 |