Jasima/godot-xterm
1
0
Fork 0
mirror of https://github.com/lihop/godot-xterm.git synced 2025-05-03 20:14:22 +02:00
Code Issues Projects Releases Packages Wiki Activity

Remove custom TerminalSettings Resource type

Browse source 
There is no current public use for this type and it would appear in every
resource dropdown.

While this type is no longer exposed publically by the plugin it is still
used internally by terminal_panel.
This commit is contained in:
Leroy Hopson 2022-06-01 11:50:34 +07:00
parent f0bd70cb3e
commit d124f20f36
No known key found for this signature in database
GPG key ID: D2747312A6DB51AA
2 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
addons/godot_xterm/plugin.gd
View file

@ -29,8 +29,6 @@ func _enter_tree():
"X11", "Server", "OSX":
pty_script = load("%s/nodes/pty/pty.gd" % base_dir)
add_custom_type("PTY", "Node", pty_script, pty_icon)
var terminal_settings_script = preload("./editor_plugins/terminal/settings/terminal_settings.gd")
add_custom_type("TerminalSettings", "Resource", terminal_settings_script, null)
terminal_panel = preload("./editor_plugins/terminal/terminal_panel.tscn").instance()
terminal_panel.editor_plugin = self
terminal_panel.editor_interface = get_editor_interface()
@ -49,6 +47,5 @@ func _exit_tree():
if pty_supported:
remove_custom_type("PTY")
remove_custom_type("TerminalSettings")
remove_control_from_bottom_panel(terminal_panel)
terminal_panel.free()