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