Ability to update headers on only one server

[Gregoor]

I would like the updating of headers to be possible to be specified for the servers I have. This doesn't have to be a default option of choice, but being able to choose for this when rightclicking on a server in the "Usenet manager" tab would be very nice.

Because for example now UseNetServer had some problems over the last time. But they are mostly fixed now, but the downloaded headers still say files are incomplete, while in the meanwhile they are. So except for xpatting, there is no other option to fix this other then downloading all new headers. And I'd then like to be able to do that just for this one server so that others can continue downloading, or don't cause unneeded traffic.

I've tried a workaround for this by disabling all other server, and then doing a full group header update on UseNetServer (the only remaining enabled server). But now when saving the headers, it disregards the already loaded headers for the other groups, so it saves just the UseNetServer headers over them. Making this not a usable option either.

Had the idea the problem with enabling/disabling servers on the go might be fixed in beta 10, so hope Spiril can also have a look at this