Closed jvalkeal closed 1 month ago
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);
It'd be convenient to be able to directly write jline's
AttributedString
: