diff options
| author | Yuri Sizov <yuris@humnom.net> | 2020-03-10 13:41:36 +0300 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2020-04-10 18:42:11 +0300 |
| commit | 1ea7295bd21748ac34755cdb96fcba385a206240 (patch) | |
| tree | f1d3b63c8f117115b57ecfab53bddf76caad2c16 /editor/editor_fonts.cpp | |
| parent | 35c8ec065c00666c68d68964c2753a99ffa20b38 (diff) | |
| download | redot-engine-1ea7295bd21748ac34755cdb96fcba385a206240.tar.gz | |
Improve shortcut formatting in docs
Diffstat (limited to 'editor/editor_fonts.cpp')
| -rw-r--r-- | editor/editor_fonts.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/editor_fonts.cpp b/editor/editor_fonts.cpp index 8aadf02ea6..cf00c536a7 100644 --- a/editor/editor_fonts.cpp +++ b/editor/editor_fonts.cpp @@ -247,10 +247,12 @@ void editor_register_fonts(Ref<Theme> p_theme) { MAKE_BOLD_FONT(df_doc_bold, int(EDITOR_GET("text_editor/help/help_font_size")) * EDSCALE); MAKE_BOLD_FONT(df_doc_title, int(EDITOR_GET("text_editor/help/help_title_font_size")) * EDSCALE); MAKE_SOURCE_FONT(df_doc_code, int(EDITOR_GET("text_editor/help/help_source_font_size")) * EDSCALE); + MAKE_SOURCE_FONT(df_doc_kbd, (int(EDITOR_GET("text_editor/help/help_source_font_size")) - 1) * EDSCALE); p_theme->set_font("doc", "EditorFonts", df_doc); p_theme->set_font("doc_bold", "EditorFonts", df_doc_bold); p_theme->set_font("doc_title", "EditorFonts", df_doc_title); p_theme->set_font("doc_source", "EditorFonts", df_doc_code); + p_theme->set_font("doc_keyboard", "EditorFonts", df_doc_kbd); // Ruler font MAKE_DEFAULT_FONT(df_rulers, 8 * EDSCALE); |