/[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.18 by mudyc, Wed Jan 8 07:06:05 2003 UTC revision 1.19 by mudyc, Wed Jan 8 15:33:33 2003 UTC
# Line 205  public static final String rcsid = "$Id$ Line 205  public static final String rcsid = "$Id$
205          public void event(MouseEvent ev, EventHandling.MousePressState p_state,          public void event(MouseEvent ev, EventHandling.MousePressState p_state,
206                            Object[] obs) {                            Object[] obs) {
207              context.setAccursed((Cell)obs[0]);              context.setAccursed((Cell)obs[0]);
208              ppv.addInterp("link"+obs[0].toString(), obs[1]);              ppv.addInterp("link"+obs[1].toString(), obs[2]);
209              ppv.addInterp("main", obs[3]);              ppv.addInterp("main", obs[3]);
210              AbstractUpdateManager.chg();                      AbstractUpdateManager.chg();        
211          }          }

Legend:
Removed from v.1.18  
changed lines
  Added in v.1.19

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