summaryrefslogtreecommitdiff
path: root/tools/editor
diff options
context:
space:
mode:
authorJuan Linietsky <reduzio@gmail.com>2015-01-02 13:38:31 -0300
committerJuan Linietsky <reduzio@gmail.com>2015-01-02 13:38:31 -0300
commite0bcec4fb8c589a68fbf898458ca87502954f81e (patch)
treea521678a997791e9908eb67ecf0a6244da61d032 /tools/editor
parentbbaddfa70f3c69d040f1f2b6edcbdb5ded9e1979 (diff)
-make sure selected font is applied on load (#1050)
Diffstat (limited to 'tools/editor')
-rw-r--r--tools/editor/code_editor.cpp14
1 files changed, 13 insertions, 1 deletions
diff --git a/tools/editor/code_editor.cpp b/tools/editor/code_editor.cpp
index 242654c472..2209b24245 100644
--- a/tools/editor/code_editor.cpp
+++ b/tools/editor/code_editor.cpp
@@ -599,7 +599,19 @@ CodeTextEditor::CodeTextEditor() {
add_child(text_editor);
text_editor->set_area_as_parent_rect();
text_editor->set_margin(MARGIN_BOTTOM,20);
- text_editor->add_font_override("font",get_font("source","Fonts"));
+
+ String editor_font = EDITOR_DEF("text_editor/font", "");
+ bool font_overrode = false;
+ if (editor_font!="") {
+ Ref<Font> fnt = ResourceLoader::load(editor_font);
+ if (fnt.is_valid()) {
+ text_editor->add_font_override("font",fnt);
+ font_overrode = true;
+ }
+ }
+
+ if (!font_overrode)
+ text_editor->add_font_override("font",get_font("source","Fonts"));
text_editor->set_show_line_numbers(true);
text_editor->set_brace_matching(true);