Remove is_shift_pressed() -- it's not been used since r4906.
[sgt/putty] / testdata / vt100.txt
2004-12-17 simonDivide the do_paint() loop into several subloops. The...