equal
deleted
inserted
replaced
9 |
9 |
10 object Blob |
10 object Blob |
11 { |
11 { |
12 sealed case class State(val blob: Blob, val markup: Markup_Tree = Markup_Tree.empty) |
12 sealed case class State(val blob: Blob, val markup: Markup_Tree = Markup_Tree.empty) |
13 { |
13 { |
14 def + (info: Text.Info[Any]): State = copy(markup = markup + info) |
14 def + (info: Text.Markup): State = copy(markup = markup + info) |
15 } |
15 } |
16 } |
16 } |
17 |
17 |
18 |
18 |
19 sealed case class Blob(val source: String) |
19 sealed case class Blob(val source: String) |