It's been possible to print a marked block of text with earlier OnDemand5 versions but it took several steps; with OnDemand 5.7 issued earlier this year, it's much easier.

Drag the mouse to highlight the text, click on Print button and the Print Selected Tex... Login to read more.