In-progress browser for a directory of text files

start of a "global zoom" mode

The vision is for this to be a little like Expose mode; when in it you can click on a point to zoom in on it (back at the old zoom level).

This is expected to be particularly handy when we start highlighting failing tests.

Created by  Kartik K. Agaram  on January 21, 2023
D2IUVB3LC5R4XQB466K5DJGDPLMPWLZFS63C2PD27DSELWCA2RXQC
Change contents