Whoops, my previous post was too fast: The problem is still there after undocking my nc8430, which causes a switch from dvi to the internal display.
Whoops, my previous post was too fast: The problem is still there after undocking my nc8430, which causes a switch from dvi to the internal display.