You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-14 13:41:12 +00:00
Merge pull request #36960 from pycbouh/docs-improve-shortcuts
Improve shortcut formatting in docs
This commit is contained in:
@@ -1222,11 +1222,14 @@ static void _add_text_to_rt(const String &p_bbcode, RichTextLabel *p_rt) {
|
||||
Ref<Font> doc_font = p_rt->get_theme_font("doc", "EditorFonts");
|
||||
Ref<Font> doc_bold_font = p_rt->get_theme_font("doc_bold", "EditorFonts");
|
||||
Ref<Font> doc_code_font = p_rt->get_theme_font("doc_source", "EditorFonts");
|
||||
Ref<Font> doc_kbd_font = p_rt->get_theme_font("doc_keyboard", "EditorFonts");
|
||||
|
||||
Color font_color_hl = p_rt->get_theme_color("headline_color", "EditorHelp");
|
||||
Color accent_color = p_rt->get_theme_color("accent_color", "Editor");
|
||||
Color property_color = p_rt->get_theme_color("property_color", "Editor");
|
||||
Color link_color = accent_color.linear_interpolate(font_color_hl, 0.8);
|
||||
Color code_color = accent_color.linear_interpolate(font_color_hl, 0.6);
|
||||
Color kbd_color = accent_color.linear_interpolate(property_color, 0.6);
|
||||
|
||||
String bbcode = p_bbcode.dedent().replace("\t", "").replace("\r", "").strip_edges();
|
||||
|
||||
@@ -1337,6 +1340,14 @@ static void _add_text_to_rt(const String &p_bbcode, RichTextLabel *p_rt) {
|
||||
code_tag = true;
|
||||
pos = brk_end + 1;
|
||||
tag_stack.push_front(tag);
|
||||
} else if (tag == "kbd") {
|
||||
|
||||
//use keyboard font with custom color
|
||||
p_rt->push_font(doc_kbd_font);
|
||||
p_rt->push_color(kbd_color);
|
||||
code_tag = true; // though not strictly a code tag, logic is similar
|
||||
pos = brk_end + 1;
|
||||
tag_stack.push_front(tag);
|
||||
} else if (tag == "center") {
|
||||
|
||||
//align to center
|
||||
|
||||
Reference in New Issue
Block a user