flags/make_flags.sh@6988973515d2 (annotated)
flags/make_flags.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 6
- 73e448b2943d
- 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
| 6 | 1 | #!/bin/bash |
| 2 | for flag in *.svg | |
| 3 | do | |
| 4 | flag_png="${flag%.svg}.png" | |
| 5 | echo "$flag => $flag_png" | |
| 6 | inkscape -z -e ${flag_png} -w 64 $flag | |
| 7 | done |
