Fix selection tool
mouseReleaseEvent always has empty buttons(), but will have as button() the one that was just released, so we should check that one
mouseReleaseEvent always has empty buttons(), but will have as button() the one that was just released, so we should check that one