Home
last modified time | relevance | path

Searched refs:doc_font (Results 1 – 5 of 5) sorted by relevance

/dports/devel/godot2-tools/godot-2.1.6-stable/editor/
H A Deditor_help.cpp664 Ref<Font> doc_font = get_font("doc", "EditorFonts"); in _goto_desc() local
690 class_desc->push_font(doc_font); in _goto_desc()
723 class_desc->push_font(doc_font); in _goto_desc()
756 class_desc->push_font(doc_font); in _goto_desc()
877 class_desc->push_font(doc_font); in _goto_desc()
917 class_desc->push_font(doc_font); in _goto_desc()
1023 class_desc->push_font(doc_font); in _goto_desc()
1050 class_desc->push_font(doc_font); in _goto_desc()
1118 class_desc->push_font(doc_font); in _goto_desc()
1190 Ref<Font> doc_font = p_rt->get_font("doc", "EditorFonts"); in _add_text_to_rt() local
[all …]
/dports/devel/godot2/godot-2.1.6-stable/editor/
H A Deditor_help.cpp664 Ref<Font> doc_font = get_font("doc", "EditorFonts"); in _goto_desc() local
690 class_desc->push_font(doc_font); in _goto_desc()
723 class_desc->push_font(doc_font); in _goto_desc()
756 class_desc->push_font(doc_font); in _goto_desc()
877 class_desc->push_font(doc_font); in _goto_desc()
917 class_desc->push_font(doc_font); in _goto_desc()
1023 class_desc->push_font(doc_font); in _goto_desc()
1050 class_desc->push_font(doc_font); in _goto_desc()
1118 class_desc->push_font(doc_font); in _goto_desc()
1190 Ref<Font> doc_font = p_rt->get_font("doc", "EditorFonts"); in _add_text_to_rt() local
[all …]
/dports/devel/godot/godot-3.2.3-stable/editor/
H A Deditor_help.cpp347 Ref<Font> doc_font = get_font("doc", "EditorFonts"); in _update_doc() local
371 class_desc->push_font(doc_font); in _update_doc()
403 class_desc->push_font(doc_font); in _update_doc()
457 class_desc->push_font(doc_font); in _update_doc()
724 class_desc->push_font(doc_font); in _update_doc()
794 class_desc->push_font(doc_font); in _update_doc()
890 class_desc->push_font(doc_font); in _update_doc()
957 class_desc->push_font(doc_font); in _update_doc()
1089 class_desc->push_font(doc_font); in _update_doc()
1142 class_desc->push_font(doc_font); in _update_doc()
[all …]
/dports/devel/godot-tools/godot-3.2.3-stable/editor/
H A Deditor_help.cpp347 Ref<Font> doc_font = get_font("doc", "EditorFonts"); in _update_doc() local
371 class_desc->push_font(doc_font); in _update_doc()
403 class_desc->push_font(doc_font); in _update_doc()
457 class_desc->push_font(doc_font); in _update_doc()
724 class_desc->push_font(doc_font); in _update_doc()
794 class_desc->push_font(doc_font); in _update_doc()
890 class_desc->push_font(doc_font); in _update_doc()
957 class_desc->push_font(doc_font); in _update_doc()
1089 class_desc->push_font(doc_font); in _update_doc()
1142 class_desc->push_font(doc_font); in _update_doc()
[all …]
/dports/graphics/tesseract/tesseract-5.0.0/src/ccmain/
H A Dcontrol.cpp2030 int16_t doc_font; // modal font in classify_word_pass1() local
2032 find_modal_font(&doc_fonts, &doc_font, &doc_font_count); in classify_word_pass1()
2040 if (word->fontinfo != nullptr && word->fontinfo->universal_id == doc_font) { in classify_word_pass1()
2044 if (word->fontinfo2 != nullptr && word->fontinfo2->universal_id == doc_font) { in classify_word_pass1()