91 |
* We want to be able to have big mark sets. |
* We want to be able to have big mark sets. |
92 |
*/ |
*/ |
93 |
public Set markedCells = new HashSet(); |
public Set markedCells = new HashSet(); |
94 |
|
|
95 |
|
/** A string describing the last error that occurred, if any. |
96 |
|
*/ |
97 |
|
public String errstring = null; |
98 |
|
|
99 |
public DefaultBinder(Fallback fallback) { |
public DefaultBinder(Fallback fallback) { |
100 |
this.fallback = fallback; |
this.fallback = fallback; |
198 |
} |
} |
199 |
|
|
200 |
wasInWindow = (Fallback.Win)win; |
wasInWindow = (Fallback.Win)win; |
201 |
|
errstring = null; |
202 |
|
|
203 |
try { |
try { |
204 |
if(fallback.mode == NORMAL) |
if(fallback.mode == NORMAL) |
267 |
cell.delete(); |
cell.delete(); |
268 |
fallback.windows[1].cursor = home; |
fallback.windows[1].cursor = home; |
269 |
} else { |
} else { |
270 |
pa("Cannot delete home cell"); |
errstring = "Sorry, I can't delete the home cell."; |
271 |
} |
} |
272 |
} else if(k.length() == 1) { |
} else if(k.length() == 1) { |
273 |
switch(k.charAt(0)) { |
switch(k.charAt(0)) { |