316 |
case 'Z': rotate(0, 2, -1); break; |
case 'Z': rotate(0, 2, -1); break; |
317 |
case 'V': changeView(0, -1); break; |
case 'V': changeView(0, -1); break; |
318 |
} |
} |
319 |
|
} else if(k.equals("Ctrl-0")) { |
320 |
|
// totally temporary! |
321 |
|
createPageSpan(); |
322 |
} |
} |
323 |
} |
} |
324 |
|
|
544 |
if(tmp != null) tmp.delete(); |
if(tmp != null) tmp.delete(); |
545 |
} |
} |
546 |
} |
} |
547 |
|
|
548 |
|
/** Totally temporary function for adding a page span. |
549 |
|
* Reads the id of a scroll block from the command line and |
550 |
|
* puts the whole content of that block into the cell |
551 |
|
* accursed in the right window. (Note: This doesn't have |
552 |
|
* to be a page scroll, can be text or anything else...) |
553 |
|
*/ |
554 |
|
void createPageSpan() { |
555 |
|
try { |
556 |
|
pa("Enter id of span block to put in this cell:"); |
557 |
|
BufferedReader r = new BufferedReader(new InputStreamReader(System.in)); |
558 |
|
Mediaserver.Id id = new Mediaserver.Id(r.readLine()); |
559 |
|
MediaserverFiler.Group g = (MediaserverFiler.Group)fallback.filers; |
560 |
|
Span s = gzz.media.impl.ScrollBlockManager.getScrollBlock(g.ms, id, false).getCurrent(); |
561 |
|
VStreamCellTexter t = (VStreamCellTexter)fallback.space.getCellTexter(); |
562 |
|
Cell c = fallback.windows[1].cursor; |
563 |
|
Enfilade1D.Maker mk = t.getEnfilade(c, null).getMaker(); |
564 |
|
t.setEnfilade(c, mk.makeEnfilade(s)); |
565 |
|
} catch(IOException e) { |
566 |
|
pa(""+e); |
567 |
|
e.printStackTrace(); |
568 |
|
} |
569 |
|
} |
570 |
|
|
571 |
public void windowClosed(Object window0) { |
public void windowClosed(Object window0) { |
572 |
Fallback.Win window = (Fallback.Win)window0; |
Fallback.Win window = (Fallback.Win)window0; |