diff src/gui/theme.cc @ 145:8e9b71970bda

linux: fix stupid bug caused by... me?
author Paper <mrpapersonic@gmail.com>
date Sun, 12 Nov 2023 18:38:38 -0500
parents 39521c47c7a3
children 01d259b9c89f
line wrap: on
line diff