log src/gui/widgets/elided_label.cc @ 367:8d45d892be88 default tip

age author description
6 months ago Paper text: redesign almost every widget
9 months ago Paper *: various code safety changes
9 months ago Paper *: HUUUGE changes
11 months ago Paper *: ooooh! stupid big commit!