Comment 3 for bug 1580012

Revision history for this message
Daniel Richter (danielrichter2007) wrote :

Your windows 10 menuentry, which is manually modified, has no "savedefault" call. Just add the line "savedefault" at the top of this menuentry.