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

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

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

revision 1.44 by mudyc, Wed Jan 8 07:06:05 2003 UTC revision 1.45 by mudyc, Wed Jan 8 09:51:57 2003 UTC
# Line 308  public static final String rcsid = "$Id$ Line 308  public static final String rcsid = "$Id$
308              if (pp_events.context != null &&              if (pp_events.context != null &&
309                  interps.get("link"+pp_events.context.getAccursed().toString()) != null) {                  interps.get("link"+pp_events.context.getAccursed().toString()) != null) {
310                  ((DefaultVobMatcher)vs.matcher).keymapSingleCoordsys(frameCS,                  ((DefaultVobMatcher)vs.matcher).keymapSingleCoordsys(frameCS,
311                                                                       ((Integer)interps.get("link"+pp_events.context.getAccursed().toString())).intValue()                     ((Integer)interps.get("link"+pp_events.context.getAccursed().toString())).intValue()
312                  );                  );
313              }              }
314              */              */

Legend:
Removed from v.1.44  
changed lines
  Added in v.1.45

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