naitbit
08/19/2019, 2:56 PM\"
to just quote "
...I cannot find a readable way to write that down as Pair.
I came up with 3 ways to write that down and all of them are borderline unreadable:
"\\\"" to "\""
"""\"""" to """""""
Pair("""
\"
""".trimIndent(),
"""
"
""".trimIndent())
naitbit
08/19/2019, 2:58 PM""""
as for String content.Eric Martori
08/19/2019, 3:27 PM'\"'.toString() to '"'.toString()
Eric Martori
08/19/2019, 3:28 PM.toString()
naitbit
08/19/2019, 3:29 PMkarelpeeters
08/19/2019, 3:51 PM"
now. I'd say your original first ones are pretty readable, doesn't AS highlight the escape sequence in orange?Eric Martori
08/20/2019, 10:12 AM"\\"+'"' to '"'.toString()
this actually works, but is not really much more readablenaitbit
08/20/2019, 12:29 PM"""
AS displays whole String in green, for single "
it display whole content in orange, so first version has "reasonable" highlighting.naitbit
08/20/2019, 12:31 PMnaitbit
08/20/2019, 12:31 PM