Hi, my name is***** will assist you. The Samsung has a similar button labeled input or source. It is in the side of the display panel near the power and volume buttons and also on the remote. Let me know if you have trouble finding it.
Whilst waiting for your response, I located the Samsung manual on one of their websites (I was not supplied with one with the TV) which identified the "source" button at the side as well as on the remote. I fiddled with it but got no "HDMI" setting. By chance I pressed the Humax remote on a setting which initially had the time and then said that the channel was either scrambled or not available. Lo and behold the Humax remote became. fully active and I have now been able to set up the recorder.
Whilst I managed by pure luck to solve the problem myself, it is only reasonable that I should pay for your time and effort. Thank you.