2020-07-11 10:52:06 +02:00
|
|
|
tool
|
|
|
|
|
extends EditorPlugin
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
func _enter_tree():
|
2020-07-11 12:45:21 +02:00
|
|
|
var terminal_script = preload("res://addons/godot_xterm_native/terminal.gdns")
|
|
|
|
|
var terminal_icon = preload("res://addons/godot_xterm_native/terminal_icon.svg")
|
|
|
|
|
add_custom_type("Terminal", "Control", terminal_script, terminal_icon)
|
|
|
|
|
|
|
|
|
|
var pseudoterminal_script = preload("res://addons/godot_xterm_native/pseudoterminal.gdns")
|
|
|
|
|
var pseudoterminal_icon = preload("res://addons/godot_xterm_native/pseudoterminal_icon.svg")
|
|
|
|
|
add_custom_type("Pseudoterminal", "Node", pseudoterminal_script, pseudoterminal_icon)
|
2020-07-11 10:52:06 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
func _exit_tree():
|
2020-07-11 12:45:21 +02:00
|
|
|
remove_custom_type("Terminal")
|
|
|
|
|
remove_custom_type("Psuedoterminal")
|
