Advertising

Somehow it became impossible to copy production to the clipboard
using the gtk2 client. This patch re-enables that feature; the
mouse key sequences are:
shift + ctrl + rmb: Paste production.
shift + rmb: Copy production.
In trunk the former sequence is used to toggle worker overlays;
it is changed to shift + alt + rmb.
-----------------------------------------------------------------------
長い間いる必要になるなら、食物は足りますか。