2020-07-11 12:45:21 +02:00
|
|
|
[gd_scene load_steps=5 format=2]
|
|
|
|
|
|
2020-09-17 11:23:01 +02:00
|
|
|
[ext_resource path="res://addons/godot_xterm/nodes/terminal/terminal.gdns" type="Script" id=1]
|
2020-09-17 10:14:04 +02:00
|
|
|
[ext_resource path="res://addons/godot_xterm/themes/default.theme" type="Theme" id=2]
|
2020-09-17 11:23:01 +02:00
|
|
|
[ext_resource path="res://addons/godot_xterm/nodes/pseudoterminal/pseudoterminal.gdns" type="Script" id=3]
|
2020-07-11 12:45:21 +02:00
|
|
|
[ext_resource path="res://examples/terminal/container.gd" type="Script" id=4]
|
|
|
|
|
|
|
|
|
|
[node name="Container" type="Container"]
|
2020-07-11 14:14:25 +02:00
|
|
|
margin_right = 40.0
|
|
|
|
|
margin_bottom = 40.0
|
2020-07-11 12:45:21 +02:00
|
|
|
script = ExtResource( 4 )
|
|
|
|
|
__meta__ = {
|
|
|
|
|
"_edit_use_anchors_": false
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
[node name="Terminal" type="Control" parent="."]
|
|
|
|
|
margin_right = 40.0
|
|
|
|
|
margin_bottom = 40.0
|
|
|
|
|
theme = ExtResource( 2 )
|
|
|
|
|
script = ExtResource( 1 )
|
|
|
|
|
|
|
|
|
|
[node name="Pseudoterminal" type="Node" parent="."]
|
|
|
|
|
script = ExtResource( 3 )
|
