log include/gui/widgets/elided_label.h @ 350:daa03aa2262d

age author description
Tue, 25 Jun 2024 11:19:54 -0400 Paper text: redesign almost every widget