References:
widgets-buttons-groups.adb:7:38 (reference)
widgets-buttons-groups.adb:20:34 (reference)
widgets-buttons-groups.adb:35:47 (reference)
widgets-buttons-groups.adb:44:36 (reference)
widgets-buttons-groups.adb:58:37 (reference)
widgets-buttons-groups.adb:67:48 (reference)
widgets-buttons-groups.adb:87:46 (reference)
widgets-buttons-groups.adb:126:50 (reference)
widgets-buttons-groups.adb:138:48 (reference)
widgets-buttons-groups.adb:146:39 (reference)
widgets-buttons-groups.adb:174:37 (reference)