mirror of
https://github.com/Relintai/gdnative_python.git
synced 2024-11-14 10:27:22 +01:00
67 lines
1.8 KiB
Plaintext
67 lines
1.8 KiB
Plaintext
[gd_scene load_steps=4 format=2]
|
|
|
|
[ext_resource path="res://addons/pythonscript_repl/python_repl.py" type="Script" id=1]
|
|
[ext_resource path="res://addons/pythonscript_repl/hack_regular.tres" type="DynamicFont" id=2]
|
|
[ext_resource path="res://addons/pythonscript_repl/input_box.py" type="Script" id=3]
|
|
|
|
[node name="Python REPL" type="VBoxContainer"]
|
|
margin_right = 580.0
|
|
margin_bottom = 234.0
|
|
script = ExtResource( 1 )
|
|
__meta__ = {
|
|
"_edit_use_anchors_": false
|
|
}
|
|
|
|
[node name="HeaderContainer" type="HBoxContainer" parent="."]
|
|
margin_right = 580.0
|
|
margin_bottom = 20.0
|
|
|
|
[node name="Label" type="Label" parent="HeaderContainer"]
|
|
margin_top = 3.0
|
|
margin_right = 459.0
|
|
margin_bottom = 17.0
|
|
size_flags_horizontal = 3
|
|
text = "Python REPL:"
|
|
|
|
[node name="KeyboardInterruptButton" type="Button" parent="HeaderContainer"]
|
|
margin_left = 463.0
|
|
margin_right = 532.0
|
|
margin_bottom = 20.0
|
|
text = "Interrupt"
|
|
|
|
[node name="ClearButton" type="Button" parent="HeaderContainer"]
|
|
margin_left = 536.0
|
|
margin_right = 580.0
|
|
margin_bottom = 20.0
|
|
text = "Clear"
|
|
|
|
[node name="OutputBox" type="RichTextLabel" parent="."]
|
|
margin_top = 24.0
|
|
margin_right = 580.0
|
|
margin_bottom = 206.0
|
|
rect_min_size = Vector2( 0, 180 )
|
|
focus_mode = 2
|
|
size_flags_horizontal = 3
|
|
size_flags_vertical = 3
|
|
custom_fonts/mono_font = ExtResource( 2 )
|
|
custom_fonts/normal_font = ExtResource( 2 )
|
|
scroll_following = true
|
|
selection_enabled = true
|
|
|
|
[node name="FooterContainer" type="HBoxContainer" parent="."]
|
|
margin_top = 210.0
|
|
margin_right = 580.0
|
|
margin_bottom = 234.0
|
|
|
|
[node name="InputBox" type="LineEdit" parent="FooterContainer"]
|
|
margin_right = 540.0
|
|
margin_bottom = 24.0
|
|
size_flags_horizontal = 3
|
|
script = ExtResource( 3 )
|
|
|
|
[node name="RunButton" type="Button" parent="FooterContainer"]
|
|
margin_left = 544.0
|
|
margin_right = 580.0
|
|
margin_bottom = 24.0
|
|
text = "Run"
|