as said a few days ago, i modified the posted patch to apply and work cleanly
on vanilla-vdr.
this patch does two things: (sorry Klaus ;) )
1. makes the "menu" button close a plugin if it is open (instead of opening
the main menu)
2. makes the channelinfo remain visible forever if the user requested it (with
the OK button). this option can (now) be turned off via Setup->OSD->Timeout
requested channel info
have fun,
Thiemo