[Straw-commits] address@hidden/straw--mainline--0.25--patch-14

[juri]

Revision: straw--mainline--0.25--patch-14
Archive: address@hidden
Creator: Juri Pakaste <address@hidden>
Date: Tue Jul 13 14:30:08 EEST 2004
Standard-date: 2004-07-13 11:30:08 GMT
Modified-files: src/lib/Event.py src/lib/Feed.py
    src/lib/FeedList.py src/lib/Main.py
    src/lib/MainWindow.py
New-patches: address@hidden/straw--mainline--0.25--patch-14
Summary: avoid redrawing the whole feed list when one feed is updated
Keywords: 

- Add feed attribute to FeedsChangedSignal, assign to it if sent from Feed
- Resend the same signal instead of a new one when receiving
  FeedsChangedSignal in FeedList
- In Main, if signal.feed is set in feeds_changed, don't call update_feeds,
  call main_window.update_feed instead which updates the display of just
  that one feed

This makes the experience of "Refresh All" a whole lot nicer. The feed list
is still redrawed multiple times at least on startup and feed deletion, though.