diff options
| -rwxr-xr-x | scripts/newbitmaps/images/build_images | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/scripts/newbitmaps/images/build_images b/scripts/newbitmaps/images/build_images index db1c4880..2a5cc1d0 100755 --- a/scripts/newbitmaps/images/build_images +++ b/scripts/newbitmaps/images/build_images @@ -11,6 +11,15 @@ BACKGROUND_COLOR=white # The only file that uses different scaling parameter. BACKGROUND_IMAGE=Background_white.bmp +# Currently we use image resources originally designed for 1366x768, and +# re-scale to different aspects on demand. +SCALE_16x9_800x600="59%x78%" +SCALE_16x9_1024x768="75%x100%" +SCALE_16x9_1280x1024="94%%x133%" + +IMAGE_SCALING="$SCALE_16x9_1280x1024" +BACKGROUND_SIZE="1280x1024" + die() { echo "ERROR: $*" >&2 exit 1 @@ -63,17 +72,10 @@ main() { local scale_param="" background_scale_param="" local base locale X - # Currently we use image resources originally designed for 1366x768, and - # re-scale to different aspects on demand. case "$profile" in x86 ) - # The image size with x86 UEFI BIOS (also applies to coreboot) is always - # 800x600, which is stretched to fill the entire screen. With previous - # devices the physical screen size was either 1280x800 (16:10) or 1366x768 - # (16:9). There's not a lot of difference between those, so let's just - # assume 16:9 for future platforms to make things simpler. - scale_param="-scale 59%x78%" - background_scale_param="-scale 800x600!" + scale_param="-scale $IMAGE_SCALING" + background_scale_param="-scale ${BACKGROUND_SIZE}!" ;; arm ) # On ARM platforms, we need to provide a bitmap with full size. |