[jpm48]

This is going to be useful for many things in my teaching. I've just got my students to install Rich / textual for my python coding course as I've featured it as one of my Modules of the week. https://nccastaff.bournemouth.ac.uk/jmacey/msc/PipeLineAndTD... So this will come in handy. Great work.

[willm]

Thanks. Hope your students also enjoy it!

[jpm48]

One thing that may be nice is a pager mode. If you feed into more or less with a pipe you loose the syntax highlight.