[Straw-commits] address@hidden/straw--mainline--0.22--patch-24

[juri]

Revision: straw--mainline--0.22--patch-24
Archive: address@hidden
Creator: Juri Pakaste <address@hidden>
Date: Wed Jan 14 00:39:31 EET 2004
Standard-date: 2004-01-13 22:39:31 GMT
Modified-files: src/lib/FeedCategoryList.py
    src/lib/MainWindow.py
New-patches: address@hidden/straw--mainline--0.22--patch-24
Summary: fix differentiation of categories with identical contents
Keywords: 

Straw thought cat0 == cat1 if they had identical content, which was causing 
trouble when switching categories in these circumstances. This happened, for 
example, when the user had no categories. 

Overrode FeedCategory.__eq__ to fix this problem. Also removed comment 
character from CategorySelector.set_history, so it'll be updated with keyboard 
navigation too.