Merge lp:~widelands-dev/widelands/statistics_gui into lp:widelands
Proposed by
GunChleoc
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 7867 | ||||
Proposed branch: | lp:~widelands-dev/widelands/statistics_gui | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
67 lines (+9/-6) 4 files modified
src/graphic/text_layout.cc (+5/-2) src/ui_basic/box.cc (+1/-1) src/ui_basic/slider.cc (+2/-2) src/wui/plot_area.cc (+1/-1) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/statistics_gui | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
TiborB | Approve | ||
kaputtnik (community) | testing | Approve | |
Review via email: mp+286787@code.launchpad.net |
Commit message
GUI fixes for General Statistics:
- Fixed pointer error in box.cc. This fixes the button width in the general statistics GUI.
- Fixed text cropping in DiscreteSlider.
- Gave plot area bottom axis labels some space.
- autofit_ui_text now calls richtext_escape.
Description of the change
GUI fixes for General Statistics:
- Fixed pointer error in box.cc. This fixes the button width in the general statistics GUI.
- Fixed text cropping in DiscreteSlider.
- Gave plot area bottom axis labels some space.
- autofit_ui_text now calls richtext_escape.
To post a comment you must log in.
Works :-)