If input names like "hdmi 1" and "hdmi 2" etc. were editable on your tv, then you could replace the names with "x-box" or "DVD player" and you would save so much time flipping through

Edit:

TIL; I haven't spent enough time looking through all of my T.V.'s options