pspp-sheet-view: Get rid of ctrl_pressed and shift_pressed.
[pspp] / src / ui / gui / pspp-widget-facade.h
2012-04-25 Ben Pfaffpspp-widget-facade: New code to measure and render...