How to edit GRUB file at /etc/default/
Solution 1:
You need to open the file as root.
gksu gedit /etc/default/grub
On 13.04 or later you might have to first install gksu:
sudo apt-get install gksudo
See also https://help.ubuntu.com/community/RootSudo