view etc/inttypes.h @ 36652:aff6fa4a1f70

Fix issue with font file selector. After selection, playing state doesn't need to be set GUI_STOP. This allows changing the font during playback of a video with immediate effect.
author ib
date Sun, 26 Jan 2014 16:53:21 +0000
parents dae8bc96fb15
children
line wrap: on
line source


// fallback if the user doesn't have inttypes.h (libc5 systems)

#include <sys/bitypes.h>