2023-09-06 16:04:23 +02:00
|
|
|
[gd_scene load_steps=9 format=3 uid="uid://bw81a517gpv2u"]
|
2020-09-03 19:22:46 +02:00
|
|
|
|
2023-09-06 16:04:23 +02:00
|
|
|
[ext_resource type="AudioStream" uid="uid://b83v18ysjftqi" path="res://sounds/typewriter_ding.wav" id="2"]
|
|
|
|
[ext_resource type="FontFile" path="res://fonts/monospace.tres" id="3"]
|
|
|
|
[ext_resource type="Script" path="res://scenes/terminal.gd" id="4"]
|
|
|
|
[ext_resource type="PackedScene" uid="uid://d00aa7p4xsxf2" path="res://scenes/text_editor.tscn" id="5"]
|
|
|
|
[ext_resource type="PackedScene" path="res://scenes/tcp_server.tscn" id="6"]
|
|
|
|
[ext_resource type="AudioStream" uid="uid://cco182msscd1y" path="res://sounds/buzzer.wav" id="7"]
|
2020-10-26 19:15:47 +01:00
|
|
|
|
2023-09-06 16:04:23 +02:00
|
|
|
[sub_resource type="StyleBoxFlat" id="1"]
|
2020-09-21 18:33:34 +02:00
|
|
|
content_margin_left = 5.0
|
|
|
|
content_margin_top = 5.0
|
2023-09-06 16:04:23 +02:00
|
|
|
content_margin_right = 5.0
|
2020-09-21 18:33:34 +02:00
|
|
|
content_margin_bottom = 5.0
|
2023-09-06 16:04:23 +02:00
|
|
|
bg_color = Color(0, 0, 0, 1)
|
|
|
|
border_color = Color(0.415686, 0.333333, 1, 1)
|
2020-09-21 19:28:39 +02:00
|
|
|
corner_radius_top_left = 10
|
|
|
|
corner_radius_top_right = 10
|
|
|
|
corner_radius_bottom_right = 10
|
|
|
|
corner_radius_bottom_left = 10
|
2020-09-03 19:22:46 +02:00
|
|
|
|
2023-09-06 16:04:23 +02:00
|
|
|
[sub_resource type="GDScript" id="2"]
|
2020-10-26 18:56:35 +01:00
|
|
|
script/source = "extends Button
|
|
|
|
|
|
|
|
func _ready():
|
|
|
|
pass
|
|
|
|
|
|
|
|
func pressed():
|
|
|
|
$\"../../..\".send_command(text)
|
|
|
|
"
|
|
|
|
|
2020-09-22 20:25:45 +02:00
|
|
|
[node name="Terminal" type="Control"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 3
|
|
|
|
anchors_preset = 15
|
2020-09-03 19:22:46 +02:00
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
2020-09-21 18:33:34 +02:00
|
|
|
mouse_filter = 1
|
2023-09-06 16:04:23 +02:00
|
|
|
script = ExtResource("4")
|
2020-09-03 19:22:46 +02:00
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[node name="Rows" type="VBoxContainer" parent="."]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 0
|
2020-09-03 19:22:46 +02:00
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[node name="TopHalf" type="Control" parent="Rows"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-09-25 12:04:45 +02:00
|
|
|
size_flags_vertical = 3
|
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[node name="Output" type="RichTextLabel" parent="Rows/TopHalf"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 0
|
2020-09-27 21:50:14 +02:00
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
2023-09-06 16:04:23 +02:00
|
|
|
offset_top = -1.92206
|
|
|
|
offset_bottom = -1.92212
|
2020-09-03 19:22:46 +02:00
|
|
|
size_flags_vertical = 3
|
2023-09-06 16:04:23 +02:00
|
|
|
theme_override_fonts/normal_font = ExtResource("3")
|
|
|
|
theme_override_styles/normal = SubResource("1")
|
2020-09-05 10:47:38 +02:00
|
|
|
scroll_following = true
|
2020-09-25 12:04:45 +02:00
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[node name="Completions" type="Tree" parent="Rows/TopHalf"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 0
|
2020-09-25 12:04:45 +02:00
|
|
|
anchor_top = 1.0
|
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
2023-09-06 16:04:23 +02:00
|
|
|
offset_top = -34.0
|
2020-09-28 17:39:16 +02:00
|
|
|
columns = 2
|
2020-09-25 12:04:45 +02:00
|
|
|
hide_root = true
|
2020-09-03 19:22:46 +02:00
|
|
|
|
2020-10-13 13:08:18 +02:00
|
|
|
[node name="VBoxContainer" type="VBoxContainer" parent="Rows"]
|
2020-10-14 00:04:47 +02:00
|
|
|
visible = false
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-10-13 13:08:18 +02:00
|
|
|
|
|
|
|
[node name="Button" type="Button" parent="Rows/VBoxContainer"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-10-13 13:08:18 +02:00
|
|
|
text = "git commit --allow-empty -m \"$RANDOM\""
|
2023-09-06 16:04:23 +02:00
|
|
|
script = SubResource("2")
|
2020-10-13 13:08:18 +02:00
|
|
|
|
|
|
|
[node name="Button2" type="Button" parent="Rows/VBoxContainer"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-10-13 13:08:18 +02:00
|
|
|
text = "git checkout HEAD^"
|
2023-09-06 16:04:23 +02:00
|
|
|
script = SubResource("2")
|
2020-10-13 13:08:18 +02:00
|
|
|
|
|
|
|
[node name="Button3" type="Button" parent="Rows/VBoxContainer"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-10-13 13:08:18 +02:00
|
|
|
text = "git checkout -b \"$RANDOM\""
|
2023-09-06 16:04:23 +02:00
|
|
|
script = SubResource("2")
|
2020-10-13 13:08:18 +02:00
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[node name="InputLine" type="HBoxContainer" parent="Rows"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-09-14 19:36:58 +02:00
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[node name="Input" type="LineEdit" parent="Rows/InputLine"]
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 2
|
2020-09-14 19:36:58 +02:00
|
|
|
size_flags_horizontal = 3
|
2020-09-03 19:22:46 +02:00
|
|
|
caret_blink = true
|
2020-09-14 15:35:30 +02:00
|
|
|
|
2023-09-06 16:04:23 +02:00
|
|
|
[node name="TextEditor" parent="." instance=ExtResource("5")]
|
2020-09-21 15:40:42 +02:00
|
|
|
visible = false
|
2023-09-06 16:04:23 +02:00
|
|
|
layout_mode = 0
|
2020-09-21 18:33:34 +02:00
|
|
|
mouse_filter = 1
|
2023-09-06 16:04:23 +02:00
|
|
|
syntax_highlighter = null
|
2020-09-24 10:10:14 +02:00
|
|
|
|
2023-09-06 16:04:23 +02:00
|
|
|
[node name="TCPServer" parent="." instance=ExtResource("6")]
|
2020-09-29 17:05:04 +02:00
|
|
|
|
2023-09-06 16:04:23 +02:00
|
|
|
[node name="Pager" type="Window" parent="."]
|
2020-09-29 17:05:04 +02:00
|
|
|
|
|
|
|
[node name="Text" type="RichTextLabel" parent="Pager"]
|
2023-09-06 16:04:23 +02:00
|
|
|
anchors_preset = 15
|
2020-09-29 17:05:04 +02:00
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
2023-09-06 16:04:23 +02:00
|
|
|
theme_override_fonts/normal_font = ExtResource("3")
|
2020-10-22 16:19:22 +02:00
|
|
|
|
|
|
|
[node name="ErrorSound" type="AudioStreamPlayer" parent="."]
|
2023-09-06 16:04:23 +02:00
|
|
|
stream = ExtResource("7")
|
2021-02-18 16:52:52 +01:00
|
|
|
volume_db = -10.0
|
2020-10-22 16:19:22 +02:00
|
|
|
|
|
|
|
[node name="OkSound" type="AudioStreamPlayer" parent="."]
|
2023-09-06 16:04:23 +02:00
|
|
|
stream = ExtResource("2")
|
2021-02-18 16:52:52 +01:00
|
|
|
volume_db = -5.0
|
2023-09-06 16:04:23 +02:00
|
|
|
|
2020-09-29 14:26:20 +02:00
|
|
|
[connection signal="item_selected" from="Rows/TopHalf/Completions" to="." method="_completion_selected"]
|
2020-10-13 13:08:18 +02:00
|
|
|
[connection signal="pressed" from="Rows/VBoxContainer/Button" to="Rows/VBoxContainer/Button" method="pressed"]
|
|
|
|
[connection signal="pressed" from="Rows/VBoxContainer/Button2" to="Rows/VBoxContainer/Button2" method="pressed"]
|
|
|
|
[connection signal="pressed" from="Rows/VBoxContainer/Button3" to="Rows/VBoxContainer/Button3" method="pressed"]
|
2020-09-29 14:26:20 +02:00
|
|
|
[connection signal="text_changed" from="Rows/InputLine/Input" to="." method="_input_changed"]
|
2023-09-06 16:04:23 +02:00
|
|
|
[connection signal="text_submitted" from="Rows/InputLine/Input" to="." method="send_command"]
|
2020-10-06 10:38:31 +02:00
|
|
|
[connection signal="saved" from="TextEditor" to="." method="editor_saved"]
|
2020-09-24 10:10:14 +02:00
|
|
|
[connection signal="data_received" from="TCPServer" to="." method="receive_output"]
|