The text tooltip on checkboxes highlights a larger problem that will require a more permanent solution. We obviously want to be able to add tooltips to most kinds of widgets, without allowing insensible ones like tooltips on containers or scrollbars. Ideally, we also want to be able to adjust the fixed tooltips, i.e. the ones created by item buttons. Until there's a good solution for that problem (adding boilerplate code to each and every widget sadly isn't one), the only way to add custom tooltips is through subclassing the widgets and adding methods like you did with the checkbox widget.
Meanwhile, you second change is in fact quite necessary. I'll merge the PR, but remove the simple checkbox tooltip solution create an issue regarding the entire tooltip problem.
The text tooltip on checkboxes highlights a larger problem that will require a more permanent solution. We obviously want to be able to add tooltips to most kinds of widgets, without allowing insensible ones like tooltips on containers or scrollbars. Ideally, we also want to be able to adjust the fixed tooltips, i.e. the ones created by item buttons. Until there's a good solution for that problem (adding boilerplate code to each and every widget sadly isn't one), the only way to add custom tooltips is through subclassing the widgets and adding methods like you did with the checkbox widget.
Meanwhile, you second change is in fact quite necessary. I'll merge the PR, but remove the simple checkbox tooltip solution create an issue regarding the entire tooltip problem.