equal
deleted
inserted
replaced
95 val lines = separated_chunks('\n', source) |
95 val lines = separated_chunks('\n', source) |
96 if (lines.hasNext) lines.next.toString |
96 if (lines.hasNext) lines.next.toString |
97 else "" |
97 else "" |
98 } |
98 } |
99 |
99 |
|
100 def plain_words(str: String): String = |
|
101 space_explode('_', str).mkString(" ") |
|
102 |
100 |
103 |
101 /* strings */ |
104 /* strings */ |
102 |
105 |
103 def lowercase(str: String): String = str.toLowerCase(Locale.ENGLISH) |
106 def lowercase(str: String): String = str.toLowerCase(Locale.ENGLISH) |
104 def uppercase(str: String): String = str.toUpperCase(Locale.ENGLISH) |
107 def uppercase(str: String): String = str.toUpperCase(Locale.ENGLISH) |