diff options
author | Dave Davenport <qball@blame.services> | 2022-05-15 17:58:02 +0200 |
---|---|---|
committer | Dave Davenport <qball@blame.services> | 2022-05-15 17:58:02 +0200 |
commit | 9c3d1415118ae284808b6eed85b306519c0fcaa3 (patch) | |
tree | 164bbe5da1b6ecb6066aa82933bb4c019a2a1106 /source/theme.c | |
parent | 141bd3d197c405c0cabd7b6d76b8105ffd514094 (diff) |
[View] Scaling via GDK_SCALE messgdk-scale-mess
Diffstat (limited to 'source/theme.c')
-rw-r--r-- | source/theme.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/theme.c b/source/theme.c index 3a9a19b8..253846ea 100644 --- a/source/theme.c +++ b/source/theme.c @@ -1319,7 +1319,7 @@ RofiHighlightColorStyle rofi_theme_get_highlight(widget *widget, } static int get_pixels(RofiDistanceUnit *unit, RofiOrientation ori) { int val = unit->distance; - + val *= config.scale; if (unit->type == ROFI_PU_EM) { val = unit->distance * textbox_get_estimated_char_height(); } else if (unit->type == ROFI_PU_CH) { |