equal
deleted
inserted
replaced
97 new_styles |
97 new_styles |
98 } |
98 } |
99 } |
99 } |
100 |
100 |
101 private def control_style(sym: String): Option[Byte => Byte] = |
101 private def control_style(sym: String): Option[Byte => Byte] = |
102 if (sym == Symbol.sub_decoded) Some(subscript(_)) |
102 if (sym == Symbol.sub_decoded) Some(subscript) |
103 else if (sym == Symbol.sup_decoded) Some(superscript(_)) |
103 else if (sym == Symbol.sup_decoded) Some(superscript) |
104 else if (sym == Symbol.bold_decoded) Some(bold(_)) |
104 else if (sym == Symbol.bold_decoded) Some(bold) |
105 else None |
105 else None |
106 |
106 |
107 def extended(text: CharSequence): Map[Text.Offset, Byte => Byte] = |
107 def extended(text: CharSequence): Map[Text.Offset, Byte => Byte] = |
108 { |
108 { |
109 var result = Map[Text.Offset, Byte => Byte]() |
109 var result = Map[Text.Offset, Byte => Byte]() |