One more thing: You do need to run update-grub every time you change the /etc/default/grub for the changes to have effect.
One more thing: You do need to run update-grub every time you change the /etc/default/grub for the changes to have effect.