Merge lp:~majcherlk/widelands/bug-1243700 into lp:widelands
Proposed by
Lukasz
Status: | Merged |
---|---|
Merged at revision: | 7455 |
Proposed branch: | lp:~majcherlk/widelands/bug-1243700 |
Merge into: | lp:widelands |
Diff against target: |
47 lines (+16/-21) 1 file modified
src/wui/plot_area.cc (+16/-21) |
To merge this branch: | bzr merge lp:~majcherlk/widelands/bug-1243700 |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
TiborB | Approve | ||
SirVer | Needs Fixing | ||
Review via email: mp+255765@code.launchpad.net |
Description of the change
Changes in displaying statistics in order to fix bug 1243700. The time displayed in statistics is rounded to integer: game_time/ticks so everytime number of ticks was not divisible by time game we got incorrect time value. Now game time is always divisible by number of ticks. Another way to solve this bug is to display fractional time but I think the first way is more user friendly. Any suggestions?
To post a comment you must log in.
Generally I think this is a good solution. A couple of comments inlined.
sorry for taking so long to answer this merge request :/.