diff options
author | nick87720z <nick87720z@gmail.com> | 2020-06-10 01:19:43 +0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-09 22:19:43 +0200 |
commit | fb2ba8ada36ba5cdc009d527d2e2f177dd6b978c (patch) | |
tree | d6e77d3386d7819f155b5cf807aa0394fdd39335 /source/theme.c | |
parent | 2da2a1f4dc9513fde9355b10569bccb1a1742db3 (diff) |
Millimeter support for distance (#1144)
Diffstat (limited to 'source/theme.c')
-rw-r--r-- | source/theme.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/source/theme.c b/source/theme.c index 85bf7c86..d12eadfb 100644 --- a/source/theme.c +++ b/source/theme.c @@ -301,6 +301,10 @@ static void rofi_theme_print_distance_unit ( RofiDistanceUnit *unit ) if ( unit->type == ROFI_PU_PX ) { printf ( "%upx ", (unsigned int) unit->distance ); } + else if ( unit->type == ROFI_PU_MM ) { + printf_double ( unit->distance ); + fputs ( "mm ", stdout ); + } else if ( unit->type == ROFI_PU_PERCENT ) { printf_double ( unit->distance ); fputs ( "% ", stdout ); @@ -942,6 +946,9 @@ static int get_pixels ( RofiDistanceUnit *unit, RofiOrientation ori ) val = ( unit->distance * width ) / ( 100.0 ); } } + else if ( unit->type == ROFI_PU_MM ) { + val = unit->distance * config.dpi / 25.4; + } return val; } |