equal
deleted
inserted
replaced
72 }, "style") |
72 }, "style") |
73 |
73 |
74 |
74 |
75 /* content */ |
75 /* content */ |
76 |
76 |
|
77 override def toString = name |
|
78 |
|
79 val name = text.content(first.start, first.stop) |
77 val content = text.content(proper_start, proper_stop) |
80 val content = text.content(proper_start, proper_stop) |
78 |
81 |
79 def next = if (last.next != null) last.next.command else null |
82 def next = if (last.next != null) last.next.command else null |
80 def prev = if (first.prev != null) first.prev.command else null |
83 def prev = if (first.prev != null) first.prev.command else null |
81 |
84 |