Greed: A few incremental updates

I think I've mentioned about 3 times already that my next planned activity WRT Greed is to write a widget for it. Soon after that, I find something else either more pressing or more interesting to work on, so I do that instead.

Folders View
This time, it was the folders view. I had always intended to eventually make the folders list into an actual hierarchical view of folders with feeds nested in them, and I got around to doing that. As a result, I think the folders view is a lot more useful than it was before.

Along the way to putting that in place, I discovered a number of things I could do to make the feeds and folders load faster, so I put that in place too. The UI in those areas should be a lot snappier now, with the feed and folder lists loading instantly.

I also realized that although my HTTP client code was checking for a "Content-Encoding" header with a value of "gzip", I wasn't actually taking advantage of it. I am now, so network performance should be faster.

Feed Notifications
Several people had mentioned that they weren't getting notified on new feeds properly, and I found a defect in that area of Greed which I fixed. You should be notified reliably whenever one of your feeds has a new item.

Android 1.5 updates
I noticed that the fonts on the Android 1.5 update where really big, making Greed look like some kind of cartoon app. I adjusted the sizes of the fonts down in some of Greed's UI elements to compensate. There are other 1.5-specific updates to take advantage of some new WebKit features (more on this to come).

Other than that, a small list of updates and bug fixes.

Next up: NOT a widget. I'll get to that eventually, but I've got an experiment I want to try. I think people will be more interested in the experiment than a widget anyway.