/[gzz]/gzz/gzz/view/FallbackBinder.java
ViewVC logotype

Diff of /gzz/gzz/view/FallbackBinder.java

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

revision 1.14 by benja, Wed Sep 25 13:16:27 2002 UTC revision 1.15 by benja, Wed Sep 25 13:23:10 2002 UTC
# Line 115  public static final String rcsid = "$Id$ Line 115  public static final String rcsid = "$Id$
115                    if(dbg) pa("???");                    if(dbg) pa("???");
116          }          }
117          directOp = NONE;          directOp = NONE;
118          AbstractUpdateManager.prioritize(this.screen);          AbstractUpdateManager.prioritize(w.getScreen());
119      }      }
120    
121      void op(int op) {      void op(int op) {

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

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