Remove is_shift_pressed() -- it's not been used since r4906.
[u/mdw/putty] / sshdssg.c
2001-09-22 simonArrgh, there's always one. Actually check in the extra...