Relintai/Godot-TextEditor
1
0
Fork 0
mirror of https://github.com/Relintai/Godot-TextEditor.git synced 2025-02-09 08:20:05 +01:00
Code Issues Packages Projects Releases Wiki Activity

1.4.1

Browse Source
This commit is contained in:
teebarjunk 2021-10-18 15:29:57 -04:00
parent 19cb94742d
commit f2ae9db115
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
addons/text_editor/TE_Console.gd
View File

@ -1,3 +1,4 @@
tool
extends "res://addons/text_editor/TE_RichTextLabel.gd" extends "res://addons/text_editor/TE_RichTextLabel.gd"
func msg(msg): func msg(msg):

3
addons/text_editor/TE_TextEditor.gd
View File

@ -266,7 +266,6 @@ func load_state():
if selected: if selected:
emit_signal("file_selected", selected.file_path) emit_signal("file_selected", selected.file_path)
func _load_property(state:Dictionary, property:String, merge:bool=false): func _load_property(state:Dictionary, property:String, merge:bool=false):
if property in state and typeof(state[property]) == typeof(self[property]): if property in state and typeof(state[property]) == typeof(self[property]):
if merge: if merge:
@ -358,6 +357,8 @@ func _menu_view_file(index:int):
if ext in exts_enabled: if ext in exts_enabled:
exts_enabled[ext] = not exts_enabled[ext] exts_enabled[ext] = not exts_enabled[ext]
popup_view_file.set_item_checked(index, exts_enabled[ext]) popup_view_file.set_item_checked(index, exts_enabled[ext])
else:
print("no %s in %s" % [ext, exts_enabled])
refresh_files() refresh_files()
save_state() save_state()