From eeddddc05fdcc6e829e242de69893c060920f4f3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 29 Jun 2010 09:25:10 -0600 Subject: [PATCH] doc corrections and clarifications original commit: 7a7f5450468c34b173f82b5147febf7f677daa32 --- collects/scribblings/gui/snip-class.scrbl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/gui/snip-class.scrbl b/collects/scribblings/gui/snip-class.scrbl index 56e07c02..dd590f4a 100644 --- a/collects/scribblings/gui/snip-class.scrbl +++ b/collects/scribblings/gui/snip-class.scrbl @@ -338,9 +338,10 @@ following symbols: @item{@indexed-scheme['handles-events] --- this snip can handle keyboard and mouse events when it has the keyboard focus} - @item{@indexed-scheme['handles-all-mouse-events] --- this snip can handle - mouse events that touch the snip, even if the snip does not - have the keyboard focus} + @item{@indexed-scheme['handles-all-mouse-events] --- this snip can + handle mouse events that touch the snip or that immediately + follow an event that touches the snip, even if the snip does + not have the keyboard focus} @item{@indexed-scheme['width-depends-on-x] --- this snip's display width depends on the snip's x-@techlink{location} within the