mirror of
https://github.com/Relintai/godot-engine.file-editor.git
synced 2024-11-12 22:27:22 +01:00
Show map by default.
This commit is contained in:
parent
0bae4a44e7
commit
aff11eb551
@ -209,7 +209,7 @@ text = "Editing file:"
|
||||
|
||||
[node name="OpenFileName" type="LineEdit" parent="FileEditorContainer/SplitContainer/EditorContainer/HBoxContainer"]
|
||||
margin_left = 75.0
|
||||
margin_right = 653.0
|
||||
margin_right = 650.0
|
||||
margin_bottom = 24.0
|
||||
mouse_filter = 1
|
||||
size_flags_horizontal = 3
|
||||
@ -217,20 +217,20 @@ text = "res://VERSION.md"
|
||||
editable = false
|
||||
|
||||
[node name="wrap_button" type="OptionButton" parent="FileEditorContainer/SplitContainer/EditorContainer/HBoxContainer"]
|
||||
margin_left = 657.0
|
||||
margin_right = 741.0
|
||||
margin_left = 654.0
|
||||
margin_right = 738.0
|
||||
margin_bottom = 24.0
|
||||
text = "No Wrap"
|
||||
items = [ "No Wrap", null, false, 0, null, "Soft Wrap", null, false, 1, null ]
|
||||
selected = 0
|
||||
|
||||
[node name="map_button" type="OptionButton" parent="FileEditorContainer/SplitContainer/EditorContainer/HBoxContainer"]
|
||||
margin_left = 745.0
|
||||
margin_left = 742.0
|
||||
margin_right = 835.0
|
||||
margin_bottom = 24.0
|
||||
text = "Hide Map"
|
||||
text = "Show Map"
|
||||
items = [ "Hide Map", null, false, 0, null, "Show Map", null, false, 1, null ]
|
||||
selected = 0
|
||||
selected = 1
|
||||
|
||||
[node name="FileList" type="FileDialog" parent="."]
|
||||
margin_top = 24.0
|
||||
|
@ -51,6 +51,7 @@ func _init():
|
||||
#text_editor.caret_blink = true
|
||||
#text_editor.caret_blink_speed = 1
|
||||
text_editor.caret_moving_by_right_click = false
|
||||
text_editor.minimap_draw = true
|
||||
text_editor.size_flags_vertical = SIZE_EXPAND_FILL
|
||||
text_editor.set("custom_colors/member_variable_color", Color(0.737255, 0.882353, 1))
|
||||
text_editor.set("custom_colors/code_folding_color", Color(1, 1, 1, 0.701961))
|
||||
|
Loading…
Reference in New Issue
Block a user