Parent Directory | Revision Log | 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 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |