Remove is_shift_pressed() -- it's not been used since r4906.
[u/mdw/putty] / unix / gtkfont.h
2008-06-04 simonBah, there's always something. Check in missing files.