References:
widgets-buttons.adb:14:47 (reference)
widgets-buttons.adb:58:40 (reference)
widgets-buttons.adb:182:50 (reference)
widgets-input_boxes.adb:62:46 (reference)
widgets-input_boxes.adb:136:40 (reference)
widgets-input_boxes.adb:448:59 (reference)
widgets-menu_items.adb:32:45 (reference)
widgets-menu_items.adb:72:40 (reference)
widgets-menu_items.adb:186:49 (reference)
widgets-menu_items.adb:194:48 (reference)
widgets.adb:90:44 (reference)
widgets.adb:98:51 (reference)
widgets.adb:105:53 (reference)
widgets.adb:209:58 (reference)
widgets.adb:262:39 (reference)
widgets.adb:291:39 (reference)
widgets.adb:794:87 (reference)
widgets.adb:797:29 (reference)
widgets.adb:884:57 (reference)
widgets.adb:931:47 (reference)
widgets.adb:939:54 (reference)
widgets.adb:946:56 (reference)
widgets-progress_boards.adb:19:47 (reference)
widgets-progress_boards.adb:96:40 (reference)
widgets-progress_boards.adb:232:50 (reference)