diff src/gui/widgets/sidebar.cc @ 82:8b65c417c225

*: fix old stuff, make video players and extensions constants
author Paper <mrpapersonic@gmail.com>
date Mon, 23 Oct 2023 13:37:42 -0400
parents 9b2b41f83a5e
children 80f49f623d30
line wrap: on
line diff