-
Dirk Wilden authored
calling a plugin's keyReleaseEvent when the event was a releaseEvent works even better than calling a keyPressEvent :) git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@4668 383ad7c9-94d9-4d36-a494-682f7c89f535
3341aff0