diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2016-10-10 13:43:09 +0200 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2016-10-13 11:43:42 +0200 |
commit | 00b3af246b03bc789a7edc45c11b000d7d63ad27 (patch) | |
tree | ca92ef4e61251127ed13e5dd41257f124b9344cf /tools/editor/editor_settings.cpp | |
parent | a317617aaec10956c5cb2ef1b271b9bfe8031cc7 (diff) |
Allow turing off zero-padding for line numbers
Diffstat (limited to 'tools/editor/editor_settings.cpp')
-rw-r--r-- | tools/editor/editor_settings.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/editor/editor_settings.cpp b/tools/editor/editor_settings.cpp index 0ab42c5adb..bdbf20e348 100644 --- a/tools/editor/editor_settings.cpp +++ b/tools/editor/editor_settings.cpp @@ -546,6 +546,8 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) { hints["text_editor/tab_size"]=PropertyInfo(Variant::INT,"text_editor/tab_size",PROPERTY_HINT_RANGE,"1, 64, 1"); // size of 0 crashes. set("text_editor/draw_tabs", true); + set("text_editor/line_numbers_zero_padded", false); + set("text_editor/show_line_numbers", true); set("text_editor/show_breakpoint_gutter", true); |