See linked bug why I made this change. We are not using keyboard handling anywhere, do we really need it now? Also, the clicked() signal currently needs a mouse parameter that the keyboard events cannot give it.
« Back to merge proposal
See linked bug why I made this change. We are not using keyboard handling anywhere, do we really need it now? Also, the clicked() signal currently needs a mouse parameter that the keyboard events cannot give it.