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