No that works fine, changes in /etc/default/grub are reflected in the Startup Manager and vice versa.
No that works fine, changes in /etc/default/grub are reflected in the Startup Manager and vice versa.