References:
widgets-buttons.adb:13:47 (reference)
widgets-buttons.adb:57:40 (reference)
widgets-buttons.adb:181:50 (reference)
widgets-input_boxes.adb:61:46 (reference)
widgets-input_boxes.adb:135:40 (reference)
widgets-input_boxes.adb:447: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:89:44 (reference)
widgets.adb:97:47 (reference)
widgets.adb:105:51 (reference)
widgets.adb:112:53 (reference)
widgets.adb:206:58 (reference)
widgets.adb:259:39 (reference)
widgets.adb:287:39 (reference)
widgets.adb:311:39 (reference)
widgets.adb:814:87 (reference)
widgets.adb:817:29 (reference)
widgets.adb:910:57 (reference)
widgets.adb:957:47 (reference)
widgets.adb:965:50 (reference)
widgets.adb:973:54 (reference)
widgets.adb:980:56 (reference)
widgets-progress_boards.adb:18:47 (reference)
widgets-progress_boards.adb:95:40 (reference)
widgets-progress_boards.adb:231:50 (reference)