diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-01-23 07:55:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-23 07:55:24 +0100 |
| commit | 5ec3b5f2c9b3640aef2f3374a93cc0db3df9903a (patch) | |
| tree | 80f2f74916ba554749322b5fe0c9b464c669bb7a /doc/tools/makerst.py | |
| parent | 5027799c13d9b38b55b2184bca997632339651d8 (diff) | |
| parent | 2baeb531e6dc240c7c2c3f176888c4d09715b56d (diff) | |
Merge pull request #7604 from RayKoopa/gui_button_style_pressed
Respect style boxes for Button states other than "normal"
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions