https://bbs.deepin.org/post/172394 Just go to System Information -> Boot Menu and turn on the Theme. It will give back the old menu.
Rankings
Popular Events
After updating the system, with the 2018.12.13 update my grub was different than it was before.
Is this right?
Thank you.