Merge lp:~widelands-dev/widelands/buttons into lp:widelands
Proposed by
GunChleoc
Status: | Merged |
---|---|
Merged at revision: | 7565 |
Proposed branch: | lp:~widelands-dev/widelands/buttons |
Merge into: | lp:widelands |
Diff against target: |
241 lines (+12/-64) 7 files modified
src/ui_basic/button.cc (+11/-17) src/ui_basic/button.h (+0/-5) src/ui_basic/helpwindow.cc (+0/-3) src/ui_basic/spinbox.cc (+0/-28) src/ui_basic/spinbox.h (+0/-2) src/ui_basic/table.cc (+0/-2) src/wui/multiplayersetupgroup.cc (+1/-7) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands/buttons |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
TiborB | Approve | ||
Review via email: mp+274064@code.launchpad.net |
Description of the change
Buttons now use the new font renderer and have uniform font size and style (the style was uniform in practice, but there was some code to set it individually that I got rid of).
Deleted draw_caret in Button class because it is unused.
To post a comment you must log in.
I think this can go as well. I tested this but could not see any difference :)