Re: [vdr] minor OSD bug: missing menu update