diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-20 22:39:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 22:39:19 +0200 |
| commit | 63e7d2db08ff7a2fafdf99c635ab985b9b0278f8 (patch) | |
| tree | eec89f7059cec7ab6b91bb7ebc4fc188c6bfe5fe /scene/resources | |
| parent | defd9602764c13d1b7753cf879bdbcdf56335b33 (diff) | |
| parent | 0bfcf8bc2fb9b863db81c1c8055a250206080c70 (diff) | |
Merge pull request #28218 from KoBeWi/b00km4rk5
Add bookmarks for easier code navigation
Diffstat (limited to 'scene/resources')
| -rw-r--r-- | scene/resources/default_theme/default_theme.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scene/resources/default_theme/default_theme.cpp b/scene/resources/default_theme/default_theme.cpp index 0b88763300..bdb6c78782 100644 --- a/scene/resources/default_theme/default_theme.cpp +++ b/scene/resources/default_theme/default_theme.cpp @@ -441,6 +441,7 @@ void fill_default_theme(Ref<Theme> &theme, const Ref<Font> &default_font, const theme->set_color("font_color_selected", "TextEdit", Color(0, 0, 0)); theme->set_color("selection_color", "TextEdit", font_color_selection); theme->set_color("mark_color", "TextEdit", Color(1.0, 0.4, 0.4, 0.4)); + theme->set_color("bookmark_color", "TextEdit", Color(0.08, 0.49, 0.98)); theme->set_color("breakpoint_color", "TextEdit", Color(0.8, 0.8, 0.4, 0.2)); theme->set_color("executing_line_color", "TextEdit", Color(0.2, 0.8, 0.2, 0.4)); theme->set_color("code_folding_color", "TextEdit", Color(0.8, 0.8, 0.8, 0.8)); |