From c668d2831a55c4fb56399f45e32b7bbce31786cf Mon Sep 17 00:00:00 2001 From: Colin Watson Date: Thu, 14 Feb 2008 10:16:50 +0000 Subject: [PATCH] * Fix crash when pressing an unhandled key followed by F1 when the boot options edit prompt has not yet been displayed. --- debian/changelog | 7 +++++++ dia_help.inc | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 83ef7d3..5724310 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +gfxboot-theme-ubuntu (0.5.4) UNRELEASED; urgency=low + + * Fix crash when pressing an unhandled key followed by F1 when the boot + options edit prompt has not yet been displayed. + + -- Colin Watson Thu, 14 Feb 2008 10:15:09 +0000 + gfxboot-theme-ubuntu (0.5.3) hardy; urgency=low * Rename "Start or install $PROJECT" to "Try $PROJECT without any change diff --git a/dia_help.inc b/dia_help.inc index cb8cd24..797f745 100644 --- a/dia_help.inc +++ b/dia_help.inc @@ -10,7 +10,7 @@ % ( ) => ( ) % /panel.help { - help.context "opt" eq { + help.context "opt" eq boot.ed 5 get .undef ne and { findbootoption help.mapcontext dup help.findpage