33 |
/** A text scroll block. |
/** A text scroll block. |
34 |
*/ |
*/ |
35 |
|
|
36 |
public class TransientTextScroll implements TextScrollBlock, |
public class TransientTextScroll extends AbstractScrollBlock |
37 |
ScrollBlockManager.MediaserverScrollBlock { |
implements TextScrollBlock, ScrollBlockManager.StormSaveableScrollBlock { |
38 |
String rcsid = "$Id$"; |
String rcsid = "$Id$"; |
39 |
|
|
40 |
|
public TransientTextScroll() { |
41 |
|
super(null, null); |
42 |
|
} |
43 |
|
|
44 |
boolean finalized = false; |
boolean finalized = false; |
45 |
BlockId mediaserverId = null; |
BlockId mediaserverId = null; |
46 |
|
|
89 |
this, offs1, offs2); |
this, offs1, offs2); |
90 |
} |
} |
91 |
|
|
|
public boolean isFinalized() { |
|
|
return finalized; |
|
|
} |
|
|
|
|
|
public String getID() { |
|
|
if(mediaserverId != null) return mediaserverId.toString(); |
|
|
else return ""; |
|
|
} |
|
92 |
|
|
93 |
public BlockId saveOrGetId(StormPool saveTo) |
public BlockId saveOrGetId(StormPool saveTo) |
94 |
throws java.io.IOException { |
throws java.io.IOException { |