From: Glenn Brown <glenn@myri.com>
Date: Wed, 23 Jun 2010 20:18:35 +0000 (-0700)
Subject: [Settings] Add setting deletion (Ctrl-D) interface
X-Git-Url: http://git.etherboot.org/gpxe.git/commitdiff_plain/5cc65edc62512cb87403086755acb5fa037bb179

[Settings] Add setting deletion (Ctrl-D) interface

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: Stefan Hajnoczi <stefanha@gmail.com>
---

diff --git a/src/hci/tui/settings_ui.c b/src/hci/tui/settings_ui.c
index 61ea3e4a..1915e583 100644
--- a/src/hci/tui/settings_ui.c
+++ b/src/hci/tui/settings_ui.c
@@ -326,6 +326,7 @@ static void draw_instruction_row ( int editing ) {
 		      "Ctrl-C - discard changes" );
 	} else {
 		msg ( INSTRUCTION_ROW,
+		      "Ctrl-D - delete setting" INSTRUCTION_PAD
 		      "Ctrl-X - exit configuration utility" );
 	}
 }
@@ -430,6 +431,12 @@ static int main_loop ( struct settings *settings ) {
 				if ( next > 0 )
 					reveal ( &widget, --next ) ;
 				break;
+			case CTRL_D:
+				delete_setting ( widget.settings,
+						 widget.setting );
+				select_setting ( &widget, next );
+				draw_setting ( &widget );
+				break;
 			case CTRL_X:
 				return 0;
 			default: