References:
events-input.adb:160:38 (reference)
events-input.adb:170:83 (reference)
events-input.adb:252:56 (reference)
events-input.adb:261:62 (reference)
events-input.adb:270:55 (reference)
events-input.adb:289:46 (reference)
events-input.adb:299:58 (reference)
events-input.adb:309:43 (reference)
mouse.adb:4:30 (reference)
widgets-containers-windows.adb:81:25 (reference)
widgets-containers-windows.adb:141:25 (reference)
widgets-containers-windows.adb:214:25 (reference)
widgets-containers-windows.adb:267:46 (reference)