mirror of
https://github.com/git-learning-game/oh-my-git.git
synced 2024-11-03 19:04:40 +01:00
78 lines
2 KiB
Text
78 lines
2 KiB
Text
[gd_scene load_steps=6 format=2]
|
|
|
|
[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]
|
|
|
|
[sub_resource type="StyleBoxFlat" id=2]
|
|
content_margin_left = 10.0
|
|
content_margin_right = 10.0
|
|
content_margin_top = 10.0
|
|
content_margin_bottom = 10.0
|
|
bg_color = Color( 0, 0, 0, 1 )
|
|
|
|
[sub_resource type="StyleBoxFlat" id=1]
|
|
content_margin_left = 10.0
|
|
content_margin_right = 10.0
|
|
content_margin_top = 10.0
|
|
content_margin_bottom = 5.0
|
|
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
|
|
}
|
|
|
|
[node name="Output" type="RichTextLabel" parent="Control"]
|
|
margin_right = 1920.0
|
|
margin_bottom = 1039.0
|
|
size_flags_vertical = 3
|
|
custom_styles/normal = SubResource( 2 )
|
|
custom_fonts/normal_font = ExtResource( 1 )
|
|
scroll_following = true
|
|
|
|
[node name="Button" parent="Control" instance=ExtResource( 4 )]
|
|
visible = false
|
|
margin_top = 852.0
|
|
margin_right = 700.0
|
|
margin_bottom = 905.0
|
|
align = 0
|
|
|
|
[node name="Button2" parent="Control" instance=ExtResource( 4 )]
|
|
visible = false
|
|
margin_top = 905.0
|
|
margin_right = 700.0
|
|
margin_bottom = 958.0
|
|
text = "git switch -c $RANDOM"
|
|
align = 0
|
|
|
|
[node name="Button3" parent="Control" instance=ExtResource( 4 )]
|
|
visible = false
|
|
margin_top = 958.0
|
|
margin_right = 700.0
|
|
margin_bottom = 1011.0
|
|
text = "git checkout HEAD^"
|
|
align = 0
|
|
|
|
[node name="Input" type="LineEdit" parent="Control"]
|
|
margin_top = 1039.0
|
|
margin_right = 1920.0
|
|
margin_bottom = 1080.0
|
|
custom_styles/normal = SubResource( 1 )
|
|
custom_fonts/font = ExtResource( 1 )
|
|
caret_blink = true
|
|
__meta__ = {
|
|
"_edit_use_anchors_": false
|
|
}
|
|
[connection signal="text_entered" from="Control/Input" to="." method="send_command"]
|