jvalkeal opened this issue 3 months ago · 0 comments
It'd be convenient to be able to directly write jline's AttributedString:
AttributedString
AttributedString text = new AttributedString("text"); screen.writerBuilder().build().text(text, 0, 0);