diff options
| author | jfons <joan.fonssanchez@gmail.com> | 2019-10-23 11:46:26 +0200 |
|---|---|---|
| committer | JFonS <joan.fonssanchez@gmail.com> | 2020-03-08 23:38:29 +0100 |
| commit | 7055a926ff809776ce99930ce650908eeeb0d076 (patch) | |
| tree | e7bb47dfe4ee247170eac168cf1f08e7fa896415 /editor/editor_fonts.cpp | |
| parent | 78adce833bce49ef1bf1503956a6162a1c6dd8b2 (diff) | |
Add rotation widget to 3D viewport
Diffstat (limited to 'editor/editor_fonts.cpp')
| -rw-r--r-- | editor/editor_fonts.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/editor_fonts.cpp b/editor/editor_fonts.cpp index db2f9c53d9..171b7a2176 100644 --- a/editor/editor_fonts.cpp +++ b/editor/editor_fonts.cpp @@ -256,6 +256,10 @@ void editor_register_fonts(Ref<Theme> p_theme) { MAKE_DEFAULT_FONT(df_rulers, 8 * EDSCALE); p_theme->set_font("rulers", "EditorFonts", df_rulers); + // Rotation widget font + MAKE_DEFAULT_FONT(df_rotation_control, 14 * EDSCALE); + p_theme->set_font("rotation_control", "EditorFonts", df_rotation_control); + // Code font MAKE_SOURCE_FONT(df_code, int(EDITOR_GET("interface/editor/code_font_size")) * EDSCALE); p_theme->set_font("source", "EditorFonts", df_code); |