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

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