1c3e4a8 Merge #329 `Add a human-readable label to widgets, and use it in the UI`

Merged and Committed by abompard 7 years ago
file modified
+3 -3
file modified
+8 -2