chiark / gitweb /
Basic version of split.
authorSimon Tatham <anakin@pobox.com>
Sun, 24 Dec 2023 16:08:43 +0000 (16:08 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 24 Dec 2023 16:11:59 +0000 (16:11 +0000)
commit9fe63a576184e96f59ce01cbbb067f4f0554fc34
tree34ea3aa6f50f65dd161ab30d362eb8908d933ea2
parentce49de11c3abab87cb3c9286ea38390070a192ec
Basic version of split.

Returns a newly allocated ColouredString. Perhaps it would be nice to
be able to return a lighter-weight thing containing a pair of &str?
src/coloured_string.rs