Are you sure your pc supports HDMI input? I haven't heard of any consumer-grade GPU that supports HDMI input yet (NVIDIA Quadro does, but it's a professional-use card), so I doubt you can do this.
Then again, if the hdmi is directly to the screen it should work. Maybe look for a button that switches the source, much like how it works when you split-screen with a laptop.