mirror of
https://github.com/git-learning-game/oh-my-git.git
synced 2024-05-18 12:17:46 +02:00
9a9541a858
This is a first workaround for the problem that editors are sometimes out of date. The UI around these will probably continue to change significantly. Closes #7.
53 lines
1.2 KiB
Plaintext
53 lines
1.2 KiB
Plaintext
[gd_scene load_steps=3 format=2]
|
|
|
|
[ext_resource path="res://fonts/default.tres" type="DynamicFont" id=1]
|
|
[ext_resource path="res://scenes/text_editor.gd" type="Script" id=2]
|
|
|
|
[node name="TextEditor" type="TextEdit" groups=[
|
|
"editors",
|
|
]]
|
|
anchor_right = 1.0
|
|
anchor_bottom = 1.0
|
|
custom_colors/background_color = Color( 0, 0, 0, 1 )
|
|
text = "Text here"
|
|
syntax_highlighting = true
|
|
wrap_enabled = true
|
|
script = ExtResource( 2 )
|
|
__meta__ = {
|
|
"_edit_use_anchors_": false
|
|
}
|
|
|
|
[node name="SaveButton" type="Button" parent="."]
|
|
anchor_left = 1.0
|
|
anchor_top = 1.0
|
|
anchor_right = 1.0
|
|
anchor_bottom = 1.0
|
|
margin_left = -114.396
|
|
margin_top = -59.399
|
|
margin_right = -14.3955
|
|
margin_bottom = -14.399
|
|
focus_mode = 0
|
|
custom_fonts/font = ExtResource( 1 )
|
|
enabled_focus_mode = 0
|
|
text = "Save"
|
|
__meta__ = {
|
|
"_edit_use_anchors_": false
|
|
}
|
|
|
|
[node name="CloseButton" type="Button" parent="."]
|
|
anchor_left = 1.0
|
|
anchor_right = 1.0
|
|
margin_left = -54.3247
|
|
margin_top = 12.0
|
|
margin_right = -14.3247
|
|
margin_bottom = 52.0
|
|
focus_mode = 0
|
|
custom_fonts/font = ExtResource( 1 )
|
|
enabled_focus_mode = 0
|
|
text = "x"
|
|
__meta__ = {
|
|
"_edit_use_anchors_": false
|
|
}
|
|
[connection signal="pressed" from="SaveButton" to="." method="save"]
|
|
[connection signal="pressed" from="CloseButton" to="." method="close"]
|