diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2025-03-11 17:35:29 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2025-03-11 23:47:39 +0100 |
| commit | 9b5d40ad973395ceed431abd2e6165ec5ffd70bd (patch) | |
| tree | e1dbfe210fc6ab9176ae7954660fb13d80aa75ed /src/drivers/Wayland/Fl_Wayland_Screen_Driver.H | |
| parent | 1054e81504dc2fe45086e534c2986921f1bf861d (diff) | |
Fix "Wayland: Huge menu hiding unexpectedly when moving a mouse (#1115)
This commit also computes work-area size for single-display settings.
Diffstat (limited to 'src/drivers/Wayland/Fl_Wayland_Screen_Driver.H')
| -rw-r--r-- | src/drivers/Wayland/Fl_Wayland_Screen_Driver.H | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/drivers/Wayland/Fl_Wayland_Screen_Driver.H b/src/drivers/Wayland/Fl_Wayland_Screen_Driver.H index 9a4f9a895..16eb750a4 100644 --- a/src/drivers/Wayland/Fl_Wayland_Screen_Driver.H +++ b/src/drivers/Wayland/Fl_Wayland_Screen_Driver.H @@ -67,8 +67,10 @@ public: struct output { // one record for each screen uint32_t id; int x, y; // logical position of screen - int width; // in pixels - int height; // in pixels + int pixel_width; // in pixels + int pixel_height; // in pixels + int width; // in pixels, account for fractional scaling + int height; // in pixels, account for fractional scaling float dpi; struct wl_output *wl_output; int wld_scale; // Wayland scale factor |