/[gzz]/gzz/gzz/modules/pp/PPMouseEvents.java
ViewVC logotype

Diff of /gzz/gzz/modules/pp/PPMouseEvents.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.29 by tjl, Fri Feb 21 20:02:43 2003 UTC revision 1.30 by mudyc, Mon Mar 3 09:43:18 2003 UTC
# Line 172  public static final String rcsid = "$Id$ Line 172  public static final String rcsid = "$Id$
172              Cell p = ppv.space.getHomeCell();              Cell p = ppv.space.getHomeCell();
173              for (; p.s(ppv.d.d1) != null; p=p.s(ppv.d.d1));              for (; p.s(ppv.d.d1) != null; p=p.s(ppv.d.d1));
174              context.setAccursed(p);              context.setAccursed(p);
175                ppv.panx = 0;
176                ppv.pany = 0;
177              AbstractUpdateManager.chg();              AbstractUpdateManager.chg();
178          }          }
179      }      }
# Line 292  public static final String rcsid = "$Id$ Line 294  public static final String rcsid = "$Id$
294          public void event(MouseEvent ev, EventHandling.MousePressState p_state,          public void event(MouseEvent ev, EventHandling.MousePressState p_state,
295                            Object[] obs) {                            Object[] obs) {
296              context.setAccursed((Cell)obs[0]);              context.setAccursed((Cell)obs[0]);
297                ppv.panx = 0;
298                ppv.pany = 0;
299              ppv.addInterp("shortcut", obs[2]);              ppv.addInterp("shortcut", obs[2]);
300              AbstractUpdateManager.chg();              AbstractUpdateManager.chg();
301          }          }

Legend:
Removed from v.1.29  
changed lines
  Added in v.1.30

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26