diff options
| author | stujones11 <stujones111@gmail.com> | 2018-11-26 21:55:24 +0000 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-11-26 22:55:24 +0100 |
| commit | 9519d57017cfa28eb4f2fbf3c780f826017bbb00 (patch) | |
| tree | 2e6d55e1f5c0acb74028c0e5ebfe69b631b1ffdd /src/gui/modalMenu.h | |
| parent | 8ba64e43fe69ecdf31ded0b5aeee625fcc08168a (diff) | |
| download | minetest-9519d57017cfa28eb4f2fbf3c780f826017bbb00.tar.xz | |
Make non-formspec modal menus respect gui scale (#7850)
Diffstat (limited to 'src/gui/modalMenu.h')
| -rw-r--r-- | src/gui/modalMenu.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gui/modalMenu.h b/src/gui/modalMenu.h index 8d32ad159..5bd70bb84 100644 --- a/src/gui/modalMenu.h +++ b/src/gui/modalMenu.h @@ -65,6 +65,7 @@ protected: v2s32 m_pointer; v2s32 m_old_pointer; // Mouse position after previous mouse event v2u32 m_screensize_old; + float m_gui_scale; #ifdef __ANDROID__ v2s32 m_down_pos; std::string m_jni_field_name; |