68 |
case FallbackBinder.NONE: return; |
case FallbackBinder.NONE: return; |
69 |
case FallbackBinder.CONNECT: |
case FallbackBinder.CONNECT: |
70 |
ch.addBox(text("Connect [where?] to ")); |
ch.addBox(text("Connect [where?] to ")); |
71 |
ch.addBox(cell(other.cursor, win)); |
if(fallback.binder.marks.isEmpty()) |
72 |
|
ch.addBox(cell(other.cursor, win)); |
73 |
|
else if(fallback.binder.marks.size() == 1) { |
74 |
|
ch.addBox(text("the marked cell (")); |
75 |
|
Mark m = (Mark)fallback.binder.marks.get(0); |
76 |
|
ch.addBox(cell(m.cell, win)); |
77 |
|
ch.addBox(text(")")); |
78 |
|
} else |
79 |
|
ch.addBox(text("the marked cells")); |
80 |
break; |
break; |
81 |
case FallbackBinder.DISCONNECT: |
case FallbackBinder.DISCONNECT: |
82 |
ch.addBox(text("Break [which connection?]")); break; |
ch.addBox(text("Break [which connection?]")); break; |