Parent Directory | Revision Log | Patch
revision 1.46 by benja, Thu Oct 3 11:53:48 2002 UTC | revision 1.47 by tjl, Fri Oct 4 06:54:11 2002 UTC | |
---|---|---|
# | Line 213 public static final String rcsid = "$Id$ | Line 213 public static final String rcsid = "$Id$ |
213 | AbstractUpdateManager.prioritize(this.screen); | AbstractUpdateManager.prioritize(this.screen); |
214 | } | } |
215 | ||
216 | public void prioritize() { | |
217 | AbstractUpdateManager.prioritize(this.screen); | |
218 | } | |
219 | ||
220 | ||
221 | ||
222 | public void moveTextCursor(int dir) { | public void moveTextCursor(int dir) { |
223 | if(dbg) pa("Moving in text edit mode. "+dir); | if(dbg) pa("Moving in text edit mode. "+dir); |
224 | textCursor += dir; | textCursor += dir; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |