2020-09-11 10:33:44 +02:00
|
|
|
[gd_scene load_steps=7 format=2]
|
2020-09-03 19:22:46 +02:00
|
|
|
|
|
|
|
[ext_resource path="res://fonts/default.tres" type="DynamicFont" id=1]
|
|
|
|
[ext_resource path="res://terminal.gd" type="Script" id=2]
|
|
|
|
[ext_resource path="res://command_button.tscn" type="PackedScene" id=4]
|
|
|
|
|
2020-09-08 22:16:18 +02:00
|
|
|
[sub_resource type="StyleBoxFlat" id=1]
|
2020-09-05 10:47:38 +02:00
|
|
|
content_margin_left = 10.0
|
|
|
|
content_margin_right = 10.0
|
|
|
|
content_margin_top = 10.0
|
|
|
|
content_margin_bottom = 10.0
|
2020-09-03 19:22:46 +02:00
|
|
|
bg_color = Color( 0, 0, 0, 1 )
|
|
|
|
|
2020-09-11 12:23:26 +02:00
|
|
|
[sub_resource type="StyleBoxFlat" id=2]
|
2020-09-11 10:33:44 +02:00
|
|
|
content_margin_left = 10.0
|
|
|
|
content_margin_right = 10.0
|
|
|
|
content_margin_top = 10.0
|
|
|
|
content_margin_bottom = 5.0
|
|
|
|
bg_color = Color( 0.0862745, 0.0862745, 0.0862745, 1 )
|
|
|
|
|
2020-09-11 12:23:26 +02:00
|
|
|
[sub_resource type="StyleBoxFlat" id=3]
|
2020-09-05 10:47:38 +02:00
|
|
|
content_margin_left = 10.0
|
|
|
|
content_margin_right = 10.0
|
|
|
|
content_margin_top = 10.0
|
|
|
|
content_margin_bottom = 5.0
|
2020-09-03 19:22:46 +02:00
|
|
|
bg_color = Color( 0, 0, 0, 1 )
|
|
|
|
|
|
|
|
[node name="Terminal" type="Container"]
|
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
|
|
|
script = ExtResource( 2 )
|
|
|
|
__meta__ = {
|
|
|
|
"_edit_use_anchors_": false
|
|
|
|
}
|
|
|
|
|
|
|
|
[node name="Control" type="VBoxContainer" parent="."]
|
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
|
|
|
custom_constants/separation = 0
|
|
|
|
__meta__ = {
|
|
|
|
"_edit_use_anchors_": false
|
|
|
|
}
|
|
|
|
|
2020-09-05 10:47:38 +02:00
|
|
|
[node name="Output" type="RichTextLabel" parent="Control"]
|
2020-09-03 19:22:46 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 1007.0
|
2020-09-14 16:03:01 +02:00
|
|
|
focus_mode = 2
|
2020-09-03 19:22:46 +02:00
|
|
|
size_flags_vertical = 3
|
2020-09-08 22:16:18 +02:00
|
|
|
custom_styles/normal = SubResource( 1 )
|
2020-09-05 10:47:38 +02:00
|
|
|
custom_fonts/normal_font = ExtResource( 1 )
|
2020-09-14 16:03:01 +02:00
|
|
|
custom_colors/selection_color = Color( 0.14902, 0.368627, 0.168627, 0.690196 )
|
2020-09-05 10:47:38 +02:00
|
|
|
scroll_following = true
|
2020-09-14 16:03:01 +02:00
|
|
|
selection_enabled = true
|
2020-09-03 19:22:46 +02:00
|
|
|
|
|
|
|
[node name="Button" parent="Control" instance=ExtResource( 4 )]
|
2020-09-14 19:25:57 +02:00
|
|
|
visible = false
|
2020-09-09 18:32:57 +02:00
|
|
|
margin_left = 0.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_top = 887.0
|
2020-09-10 12:47:18 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 907.0
|
2020-09-10 12:47:18 +02:00
|
|
|
text = "git commit --allow-empty"
|
|
|
|
align = 0
|
|
|
|
|
|
|
|
[node name="Button5" parent="Control" instance=ExtResource( 4 )]
|
2020-09-14 19:25:57 +02:00
|
|
|
visible = false
|
2020-09-10 12:47:18 +02:00
|
|
|
margin_left = 0.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_top = 907.0
|
2020-09-11 12:23:26 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 927.0
|
2020-09-11 12:23:26 +02:00
|
|
|
text = "echo $RANDOM | git hash-object -w --stdin"
|
|
|
|
align = 0
|
|
|
|
|
|
|
|
[node name="Button6" parent="Control" instance=ExtResource( 4 )]
|
2020-09-14 15:35:30 +02:00
|
|
|
visible = false
|
2020-09-11 12:23:26 +02:00
|
|
|
margin_left = 0.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_top = 927.0
|
2020-09-09 18:32:57 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 947.0
|
2020-09-11 12:23:26 +02:00
|
|
|
text = "git update-index --add noises; git write-tree"
|
2020-09-03 19:22:46 +02:00
|
|
|
align = 0
|
|
|
|
|
|
|
|
[node name="Button2" parent="Control" instance=ExtResource( 4 )]
|
2020-09-14 19:25:57 +02:00
|
|
|
visible = false
|
2020-09-09 18:32:57 +02:00
|
|
|
margin_left = 0.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_top = 947.0
|
2020-09-09 18:32:57 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 967.0
|
2020-09-03 19:22:46 +02:00
|
|
|
text = "git switch -c $RANDOM"
|
|
|
|
align = 0
|
|
|
|
|
|
|
|
[node name="Button3" parent="Control" instance=ExtResource( 4 )]
|
|
|
|
visible = false
|
2020-09-10 12:47:18 +02:00
|
|
|
margin_left = 0.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_top = 967.0
|
2020-09-10 12:47:18 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 987.0
|
2020-09-03 19:22:46 +02:00
|
|
|
text = "git checkout HEAD^"
|
|
|
|
align = 0
|
|
|
|
|
2020-09-08 22:16:18 +02:00
|
|
|
[node name="Button4" parent="Control" instance=ExtResource( 4 )]
|
2020-09-08 23:01:01 +02:00
|
|
|
visible = false
|
2020-09-08 22:16:18 +02:00
|
|
|
margin_left = 0.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_top = 987.0
|
2020-09-08 22:16:18 +02:00
|
|
|
margin_right = 1920.0
|
2020-09-14 19:25:57 +02:00
|
|
|
margin_bottom = 1007.0
|
2020-09-08 22:16:18 +02:00
|
|
|
text = "sleep 1;echo hey"
|
|
|
|
align = 0
|
|
|
|
|
2020-09-14 19:25:57 +02:00
|
|
|
[node name="CommandDropdown" type="MenuButton" parent="Control"]
|
|
|
|
margin_top = 1007.0
|
|
|
|
margin_right = 1920.0
|
|
|
|
margin_bottom = 1039.0
|
|
|
|
custom_fonts/font = ExtResource( 1 )
|
|
|
|
text = "Pick a command..."
|
|
|
|
flat = false
|
|
|
|
align = 0
|
|
|
|
|
2020-09-03 19:22:46 +02:00
|
|
|
[node name="Input" type="LineEdit" parent="Control"]
|
2020-09-05 10:47:38 +02:00
|
|
|
margin_top = 1039.0
|
2020-09-03 19:22:46 +02:00
|
|
|
margin_right = 1920.0
|
|
|
|
margin_bottom = 1080.0
|
2020-09-11 12:23:26 +02:00
|
|
|
custom_styles/read_only = SubResource( 2 )
|
|
|
|
custom_styles/normal = SubResource( 3 )
|
2020-09-03 19:22:46 +02:00
|
|
|
custom_fonts/font = ExtResource( 1 )
|
|
|
|
caret_blink = true
|
|
|
|
__meta__ = {
|
|
|
|
"_edit_use_anchors_": false
|
|
|
|
}
|
2020-09-14 15:35:30 +02:00
|
|
|
|
|
|
|
[node name="ClearButton" type="Button" parent="."]
|
|
|
|
anchor_left = 0.9
|
|
|
|
anchor_right = 1.0
|
|
|
|
margin_left = -10.0
|
|
|
|
margin_top = 10.0
|
|
|
|
margin_right = -10.0
|
|
|
|
custom_fonts/font = ExtResource( 1 )
|
|
|
|
text = "Clear"
|
2020-09-08 23:01:01 +02:00
|
|
|
[connection signal="text_entered" from="Control/Input" to="." method="send_command"]
|
2020-09-14 15:35:30 +02:00
|
|
|
[connection signal="pressed" from="ClearButton" to="." method="clear"]
|