godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-01-06 10:11:57 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #85117 from BastiaanOlij/openxr_runtime_select

Browse Source 
OpenXR: Add runtime selection dropdown
This commit is contained in:
Yuri Sizov
2024-01-18 19:26:52 +01:00
parent bc88d771e6 afd1dcf1b1
commit de95a3effe
6 changed files with 200 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
editor/themes/editor_theme_manager.cpp
View File

@@ -1765,6 +1765,13 @@ void EditorThemeManager::_populate_editor_styles(const Ref<EditorTheme> &p_theme
p_theme->set_stylebox("pressed", "EditorLogFilterButton", editor_log_button_pressed);
}
// Top bar selectors.
{
p_theme->set_type_variation("TopBarOptionButton", "OptionButton");
p_theme->set_font("font", "TopBarOptionButton", p_theme->get_font(SNAME("bold"), EditorStringName(EditorFonts)));
p_theme->set_font_size("font_size", "TopBarOptionButton", p_theme->get_font_size(SNAME("bold_size"), EditorStringName(EditorFonts)));
}
// Complex editor windows.
{
Ref<StyleBoxFlat> style_complex_window = p_config.window_style->duplicate();