You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
Enable bookmarks gutter
This commit is contained in:
@@ -1962,6 +1962,7 @@ CodeTextEditor::CodeTextEditor() {
|
|||||||
add_child(text_editor);
|
add_child(text_editor);
|
||||||
text_editor->set_v_size_flags(SIZE_EXPAND_FILL);
|
text_editor->set_v_size_flags(SIZE_EXPAND_FILL);
|
||||||
text_editor->set_structured_text_bidi_override(TextServer::STRUCTURED_TEXT_GDSCRIPT);
|
text_editor->set_structured_text_bidi_override(TextServer::STRUCTURED_TEXT_GDSCRIPT);
|
||||||
|
text_editor->set_draw_bookmarks_gutter(true);
|
||||||
|
|
||||||
int ot_mode = EDITOR_GET("interface/editor/code_font_contextual_ligatures");
|
int ot_mode = EDITOR_GET("interface/editor/code_font_contextual_ligatures");
|
||||||
Ref<FontVariation> fc = text_editor->get_theme_font(SNAME("font"));
|
Ref<FontVariation> fc = text_editor->get_theme_font(SNAME("font"));
|
||||||
|
|||||||
Reference in New Issue
Block a user