better OSD menu rendering (no more flicker!)
commitece5df77b086c396b70b07776b4b4539d8dd253e
authorketmar <>
Sun, 3 Sep 2023 21:24:27 +0000 (3 21:24 +0000)
committerketmar <>
Sun, 3 Sep 2023 21:24:27 +0000 (3 21:24 +0000)
tree012c14dfe7bdb9f9f0ccef7047c546a5e9c87933
parent1f0ac0699209eb44122afaacccb9154ab802e9ca
better OSD menu rendering (no more flicker!)

FossilOrigin-Name: 4994e5183d3cb21f0cca72d742f15957568183aeeb417f42be971c86baa8926f
src/menus.inc.c
src/osd_menu.inc.c
src/x11_render.inc.c