[PATCH 3/4] [settings_ui] Add setting deletion (Ctrl-D) interface

[Glenn Brown]

Make Ctrl-D delete a settings, because the Text User Interface (tui)
previously provided no way to delete a setting.  Also, update the
on-screen instructions to describe the new feature.  Deleting settings is
especially important for settings stored in precious nonvolatile storate.

Signed-off-by: Glenn Brown <glenn at myri.com>
---
 src/hci/tui/settings_ui.c |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-settings_ui-Add-setting-deletion-Ctrl-D-interface.patch
Type: text/x-patch
Size: 767 bytes
Desc: not available
Url : http://etherboot.org/pipermail/gpxe-devel/attachments/20100620/d5865e5b/attachment.bin