List of games ( filtered ) doesn't update

[GoogleCodeExporter]

What steps will reproduce the problem?

When you filter a list of games, for example mine: "Not Started,Playing".
The header says the count of games ( 30 ) and the unsolved ( 10 ). After
you finish a game, the header doesn't update. If you go back in the level
screen and then enter again in the filtered list, the problem doesn't persist.

What version of the product are you using?
1.0.0

Original issue reported on code.google.com by danilopo...@gmail.com on 22 Jan 2010 at 1:29

[GoogleCodeExporter]

I believe this will do it.

Original comment by mernen on 21 Feb 2010 at 7:03

Attachments:

• update-title-when-regaining-focus.diff

[GoogleCodeExporter]

Original comment by romario...@gmail.com on 6 Apr 2010 at 6:26

• Changed state: Accepted

[GoogleCodeExporter]

Issue 78 has been merged into this issue.

Original comment by romario...@gmail.com on 28 Apr 2010 at 7:29

[GoogleCodeExporter]

Original comment by romario...@gmail.com on 28 Apr 2010 at 8:00

• Added labels: Milestone-Release1.1

[GoogleCodeExporter]

Ugh, I had completely forgotten about this bug report... later I made this 
other 
patch, which should be a more appropriate solution. A noticeable issue with the 
focus-
based one is that the title will flicker when you close the options menu. The 
essence 
is exactly the same, I'm just using a different event.

Original comment by mernen on 28 Apr 2010 at 3:21

Attachments:

• update-title-when-resuming.diff

[GoogleCodeExporter]

Same patch, applied against current trunk and respecting the project's use of 
tabs.

Original comment by mernen on 28 Apr 2010 at 3:33

Attachments:

• update-title-when-resuming.diff

[GoogleCodeExporter]

Thanks, patch applied.

Original comment by romario...@gmail.com on 29 Apr 2010 at 9:23

[GoogleCodeExporter]

Original comment by romario...@gmail.com on 6 May 2010 at 7:02

• Changed state: Fixed