[Gzz-commits] gzz/gzz/modules/pp EventHandling.java

[Benja Fallenstein]

CVSROOT:        /cvsroot/gzz
Module name:    gzz
Changes by:     Benja Fallenstein <address@hidden>      02/12/20 14:50:12

Modified files:
        gzz/modules/pp : EventHandling.java 

Log message:
        small comment

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/gzz/modules/pp/EventHandling.java.diff?tr1=1.3&tr2=1.4&r1=text&r2=text

Patches:
Index: gzz/gzz/modules/pp/EventHandling.java
diff -u gzz/gzz/modules/pp/EventHandling.java:1.3 
gzz/gzz/modules/pp/EventHandling.java:1.4
--- gzz/gzz/modules/pp/EventHandling.java:1.3   Fri Dec 20 13:45:09 2002
+++ gzz/gzz/modules/pp/EventHandling.java       Fri Dec 20 14:50:12 2002
@@ -129,7 +129,7 @@
        if (dragging && (last_key != null && drag_pair != null)) {
            ev_h = ev_handlers.get(last_key);
            pair = drag_pair;
-       }else {
+       } else {
            pair = callers.get(""+cs);
            if (pair == null) return;
            if (!(pair instanceof Pair)) { throw new Error("NOT PAIR!"); }
@@ -151,8 +151,10 @@
     }
 
 
+    /** An action executed when something (like a button) is clicked on.
+     */
     public interface EventMouseObj {
-       public void event(MouseEvent ev, MousePressState p_state, Object[] obs);
+       void event(MouseEvent ev, MousePressState p_state, Object[] obs);
     }
 
     public class MousePressState {