255 |
op(REASSIGN_ARROWSET); |
op(REASSIGN_ARROWSET); |
256 |
} else if(k.equals("Alt-A")) { |
} else if(k.equals("Alt-A")) { |
257 |
op(REASSIGN_ARROWSET); |
op(REASSIGN_ARROWSET); |
258 |
|
} else if(k.equals("Delete") || k.equals("Ctrl-Backspace")) { |
259 |
|
Cell cell = fallback.windows[1].cursor; |
260 |
|
Cell home = fallback.space.getHomeCell(); |
261 |
|
if(!cell.equals(home)) { |
262 |
|
cell.delete(); |
263 |
|
fallback.windows[1].cursor = home; |
264 |
|
} else { |
265 |
|
pa("Cannot delete home cell"); |
266 |
|
} |
267 |
} else if(k.length() == 1) { |
} else if(k.length() == 1) { |
268 |
switch(k.charAt(0)) { |
switch(k.charAt(0)) { |
269 |
// Right Rose |
// Right Rose |