3e4daa2 Add a human-readable label to widgets, and use it in the UI

Authored and Committed by abompard 7 years ago
    Add a human-readable label to widgets, and use it in the UI
    
        
file modified
+3 -3
file modified
+8 -2