Comment 4 for bug 115476

Hello,

I am closing this bug report because the original problem has been resolved. You can adjust the default operating system to boot by pressing F2 and running "gksu gedit /boot/grub/menu.lst" and adjusting the number that comes after "default".