diff src/gui/theme.cc @ 196:f0ff06a45c42

date: use std::optional for values
author Paper <mrpapersonic@gmail.com>
date Thu, 07 Dec 2023 16:28:11 -0500
parents 01d259b9c89f
children adc20fa321c1
line wrap: on
line diff