egra: checkbox fixes
commit1fad28e4f3ecc6d026386eb886800922e115c318
authorketmar <ketmar@ketmar.no-ip.org>
Fri, 3 Dec 2021 16:15:52 +0000 (3 16:15 +0000)
committerketmar <ketmar@ketmar.no-ip.org>
Fri, 3 Dec 2021 16:15:52 +0000 (3 16:15 +0000)
tree9a90bd934401f6f12dbf80e7b724cd10055cb054
parent767adb2acf3f43852fe378a3510c726c044a012b
egra: checkbox fixes

FossilOrigin-Name: 3324b923fb80e161336ec2ff283bff4e2caeabffd0e2c15968bdcddfeaeaaca6
egra/gui/widgets/buttons.d