# HG changeset patch # User Dirk Olmes <dirk@xanthippe.ping.de> # Date 1281490537 -7200 # Node ID 1e6f6ed38dd01a30ac905f6e43db8e55c54fef07 # Parent 5585f3d235416c03ed0ba3808e8df851d27eef32 do a proper update when marking all feed entries as read diff -r 5585f3d23541 -r 1e6f6ed38dd0 MainWindow.py --- a/MainWindow.py Wed Aug 11 03:26:21 2010 +0200 +++ b/MainWindow.py Wed Aug 11 03:35:37 2010 +0200 @@ -84,7 +84,7 @@ def markSelectedFeedRead(self): self.selectedFeed.markAllEntriesRead() self.session.commit() - self.ui.feedEntryList.update() + self.ui.feedEntryList.doItemsLayout() def addFeed(self): addFeed = AddFeed(self.session)