I must be missing something, but I can't find this in the online manual or through features in the client... I want to discard four resource cards to trade in for a single resource. The AI is doing it, so I know it's a feature, but I can't puzzle it out.
The only reference to discarding I can find is when the robber turns up and you have 7 or more resource cards. But that's not my issue.
What am I missing?
I'm on Xubuntu Linux 13.04 running Pioneers 14.1.
The term you're looking for is not 'discard', but 'trade'.
You'll need to start the trade (F2, Actions|Trade).
Then in the 'I want' select the resources that you want the 4:1 trade for.
The trade will be listed at the right.
Double-click the trade, or select it and press 'Accept Quote'.
At the end, press 'Finish Trade' or click the 'X' on the Trade tab.
If you select resources from 'I want' and 'Give them', and press 'Call for Quotes', you'll invite the other players to give you an offer (most often 1:1)
That did the trick, thank you!