diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-01-23 21:33:58 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-01-23 22:15:09 +0100 |
commit | bd4d57ede2c12e52ff0662d00bf0413006fc2260 (patch) | |
tree | a28d864a1a12de9ba831a9d03d85406fb008526b /thirdparty/embree/kernels/subdiv | |
parent | 81c28dd706913e66288e847772d5ea0e64e7c80c (diff) |
BaseButton: Rename `pressed` property to `button_pressed`
This fixes a conflict with the `pressed` signal.
The new name is temporary and only intended to solve the conflict for upcoming
alpha builds. Discussions are still ongoing regarding the BaseButton API and
how to rename and refactor more of its properties, signals and methods to have
a clearer API in 4.0.
Diffstat (limited to 'thirdparty/embree/kernels/subdiv')
0 files changed, 0 insertions, 0 deletions