2020-05-09 19:07:31 +02:00
|
|
|
tool
|
|
|
|
|
extends EditorPlugin
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
func _enter_tree():
|
2020-09-17 10:14:04 +02:00
|
|
|
var terminal_script = preload("res://addons/godot_xterm/terminal.gdns")
|
|
|
|
|
var terminal_icon = preload("res://addons/godot_xterm/terminal_icon.svg")
|
|
|
|
|
add_custom_type("Terminal", "Control", terminal_script, terminal_icon)
|
|
|
|
|
|
|
|
|
|
var pseudoterminal_script = preload("res://addons/godot_xterm/pseudoterminal.gdns")
|
|
|
|
|
var pseudoterminal_icon = preload("res://addons/godot_xterm/pseudoterminal_icon.svg")
|
|
|
|
|
add_custom_type("Pseudoterminal", "Node", pseudoterminal_script, pseudoterminal_icon)
|
2020-05-09 19:07:31 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
func _exit_tree():
|
|
|
|
|
remove_custom_type("Terminal")
|
2020-09-17 10:14:04 +02:00
|
|
|
remove_custom_type("Psuedoterminal")
|
