What is the correct procedure for changing monitors under Linux? I remember that when I've done it the past; I've found that the "new" monitor might not like the frequencies used by the "one" old and Linux didn't automatically notice that a different monitor was connected. How does one avoid this problem?