diff src/gui/theme.cc @ 134:54c9d36207db

settings/recognition: implement real media player stuff
author Paper <mrpapersonic@gmail.com>
date Thu, 09 Nov 2023 13:53:04 -0500
parents 39521c47c7a3
children 01d259b9c89f
line wrap: on
line diff