103 |
id = Mediaserver.Id(id) |
id = Mediaserver.Id(id) |
104 |
if t == 'TextSpan': |
if t == 'TextSpan': |
105 |
block = ScrollBlockManager.getTextScrollBlock(ms, id) |
block = ScrollBlockManager.getTextScrollBlock(ms, id) |
106 |
spans.add(block.getSpan(*spanDef[2:])) |
spans.add(block.getSpan(spanDef[2], |
107 |
|
spanDef[2] + spanDef[3])) |
108 |
elif t == 'ImageSpan' or t == 'PageSpan': |
elif t == 'ImageSpan' or t == 'PageSpan': |
109 |
spans.add(ScrollBlockManager.getSpan(ms, id, *spanDef[2:])) |
spans.add(ScrollBlockManager.getSpan(ms, id, |
110 |
|
*spanDef[2:])) |
111 |
else: |
else: |
112 |
raise NotImplementedError("Unknown span type: %s" % (t,)) |
raise NotImplementedError("Unknown span type: %s" % (t,)) |
113 |
|
|