Results 746 comments of Alexander Batischev

@heavyimage Your point No.1 is troublesome because at that stage, we can't know if the feed is really dead or simply happened to "flicker" just then. No.2 is pretty much...

All good points, @dd217; thanks! I think using time since last successful fetch instead of number of errors is an especially good idea because it's independent of the refresh rate...

Hi. What's going on here?

I'm in two minds about this. On one hand, the docs don't say that tags starting with "!" are "hidden tags", so this isn't a bug. On the other hand,...

Since the root cause of this is cursor "jumping" all over the feed, I've filed a separate issue, #475. The attribute might still be useful, though. I'm going to lay...

Yep, that's a good idea! Thanks for filing the report.

Did you do it all just to make sure, or was restarting alone insufficient? I just took a quick peek at the code and it seems like after changing this...

Okay, I guess it means I have to update the docs to be more clear on this point. Thanks!