MikeMol
moved Terminal control/Determine the height and width of the terminal window to Terminal control/Dimensions: Old name was *very* long. This is more succinct.
14:43
+41