Remove is_shift_pressed() -- it's not been used since r4906.
[u/mdw/putty] / unix / gtkfont.c
2009-05-11 simonPango-based font handling: combine display of adjacent...
2008-06-04 simonBah, there's always something. Check in missing files.