On Sun, 2015-02-01 at 20:51 +0100, poma wrote:
There are HDMI extenders, if you can not directly connect PC-HDMI to
TV-HDMI.
Of course, but the TV only has 2 HDMI inputs and they are both occupied.
I also have a splitter but it's not very reliable (i.e. it's supposed to
switch inputs automatically but sometimes doesn't).
poc