[PATCH] Fix to ActionEvent generation on List widgets

[Tom Tromey]

>>>>> "Fernando" == Fernando Nasser <fnasser@redhat.com> writes:

Fernando> 2003-12-02  Fernando Nasser  <fnasser@redhat.com>
Fernando> * gnu/java/awt/peer/gtk/GtkListPeer.java (handleEvent): Fix generation
Fernando> of ActionEvents so that a return only generates one if something is
Fernando> selected and a higher number of mouse multiple-clicks do not generate
Fernando> a spurious ActionEvent after the expected one.

Ok.

Please put explanatory stuff in the code itself as comments.
The ChangeLog entries can be simple descriptions of the mechanics of
the change.

Tom