Some links I found while trying to find a clue about GNOME's problem with mini displayport (on a MacBook Air)
https://bbs.archlinux.org/viewtopic.php?pid=1262645
https://bugzilla.redhat.com/show_bug.cgi?id=1133353
http://forums.fedoraforum.org/showthread.php?t=274413