svg-to-png.sh

Wed, 25 May 2022 20:36:34 +0300

author
Teemu Piippo <teemu@hecknology.net>
date
Wed, 25 May 2022 20:36:34 +0300
changeset 199
6988973515d2
parent 162
3ebe1a0ca818
permissions
-rwxr-xr-x

Fix pick() picking from weird places on the screen with high DPI scaling

glReadPixels reads data from the frame buffer, which contains data after
high DPI scaling, so any reads to that need to take this scaling into account

#!/bin/bash
mkdir --parents icons
for svgfile in $(find icons_svg -name '*.svg')
do
	pngfile="icons/$(basename ${svgfile%.svg}.png)"
	if [[ ! -f "${pngfile}" ]]
	then
		echo "$svgfile => $pngfile"
		convert -background none "${svgfile}" "${pngfile}"
	fi
done

mercurial