pressedButtons

set containing the names of the currently pressed buttons