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