> Why don't you indent the non-dummy titles? Then the dummy one won't look to > the user as a real option.
That could be a possibility, yes. This is even maybe what is done currently (it's a bit of time since I did a dual boot test of d-i) The user report here insisted on an "option" which was selectable as an option while it does nothing. The submitter really mentioned it is a minor issue...but this was an occasion for raising a kind of feature request against grub indeed. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
