Parent Directory | Revision Log | Patch
revision 1.13 by benja, Sat Nov 16 04:38:03 2002 UTC | revision 1.14 by benja, Sun Jan 5 11:02:49 2003 UTC | |
---|---|---|
# | Line 102 public static final String rcsid = "$Id$ | Line 102 public static final String rcsid = "$Id$ |
102 | this.fallback = fallback; | this.fallback = fallback; |
103 | } | } |
104 | ||
105 | public boolean isMarked(Cell c) { | |
106 | return markedCells.contains(c); | |
107 | } | |
108 | ||
109 | ||
110 | void dir(int win, int dim, int dir) throws ClientException { | void dir(int win, int dim, int dir) throws ClientException { |
111 | Fallback.Win w = fallback.windows[win]; | Fallback.Win w = fallback.windows[win]; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |