2023-01-08 10:41:48 +01:00
|
|
|
[gd_scene load_steps=5 format=3 uid="uid://cysad55lwtnc6"]
|
2020-07-11 12:45:21 +02:00
|
|
|
|
2023-01-08 10:41:48 +01:00
|
|
|
[ext_resource type="AudioStream" uid="uid://n0hqjfxltbm0" path="res://themes/audio/bell.wav" id="1"]
|
|
|
|
[ext_resource type="Theme" uid="uid://0gk8swmcldbg" path="res://addons/godot_xterm/themes/default.tres" id="1_uci3c"]
|
|
|
|
[ext_resource type="Script" path="res://addons/godot_xterm/pty.gd" id="2"]
|
|
|
|
[ext_resource type="Script" path="res://examples/terminal/terminal.gd" id="3"]
|
2020-07-11 12:45:21 +02:00
|
|
|
|
2023-01-08 10:41:48 +01:00
|
|
|
[node name="Terminal" type="Terminal"]
|
|
|
|
anchors_preset = 15
|
2020-09-24 12:29:19 +02:00
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
2023-01-08 10:41:48 +01:00
|
|
|
grow_horizontal = 2
|
|
|
|
grow_vertical = 2
|
|
|
|
theme = ExtResource("1_uci3c")
|
|
|
|
script = ExtResource("3")
|
2020-07-11 12:45:21 +02:00
|
|
|
|
2021-07-02 19:27:34 +02:00
|
|
|
[node name="PTY" type="Node" parent="."]
|
2023-01-08 10:41:48 +01:00
|
|
|
script = ExtResource("2")
|
2021-07-02 19:27:34 +02:00
|
|
|
terminal_path = NodePath("..")
|
2021-07-21 17:58:20 +02:00
|
|
|
|
|
|
|
[node name="Bell" type="AudioStreamPlayer" parent="."]
|
2023-01-08 10:41:48 +01:00
|
|
|
stream = ExtResource("1")
|
2022-08-06 10:32:31 +02:00
|
|
|
|
2021-07-21 17:58:20 +02:00
|
|
|
[connection signal="bell" from="." to="Bell" method="play"]
|