-
Jehan authored
This name was really irking me because it's not a button (anymore? Maybe it used to be just a button). Depending on the specific widget, it will have several sub-widgets, including a label. And it can theoretically even be something else than a button. So let's just rename these widgets with the more generic "chooser" name.
62a38896