GNOMEのシステム→管理→ディスプレイからディスプレイの設定ダイアログを立ち上げて，解像度の変更を行おうとしたが，なぜか変更されない．

しかたがないので，/etc/X11/xorg.confを直接変更した．

変更箇所は以下のとおり：

Section "Screen"
        Identifier "Screen0"
        Device     "Videocard0"
        DefaultDepth     24
        SubSection "Display"
                Viewport   0 0
                Depth     24
#               Modes    "1680x1050" "1600x1200" "1600x1024" 
"1440x900" "1400x1050" "1280x1024" "1280x960" "1280x800" 
"1152x864" "1152x768" "1024x768" "1024x768" "800x600" 
"800x600" "640x480" "640x480"
                Modes    "1152x864"
        EndSubSection

まあ，単に不必要な項目を削除しただけなのだけど． だけど，せっかくGUIで変更できるようになっているのに，それが使えないのは悲しい．解決できる方法は探し続けます．