-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpython_repl.tscn
More file actions
66 lines (56 loc) · 1.77 KB
/
python_repl.tscn
File metadata and controls
66 lines (56 loc) · 1.77 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
[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"