installer: Disable F12 hot key.

Fixes <https://bugs.gnu.org/38562>.
Reported by Brice Waegeneire <brice@waegenei.re>.

Previously, pressing F12 or shift-F2 in one of those forms would cause
it to exit, usually with the default value #t because the caller had not
provided a useful hotkey "callback".

* gnu/installer/newt/page.scm (run-input-page, run-confirmation-page)
(run-listbox-selection-page, run-checkbox-tree-page)
(run-file-textbox-page): Pass #:flags FLAG-NOF12 to 'make-form'.
This commit is contained in:
Ludovic Courtès 2020-01-20 22:12:45 +01:00
parent 48659aa221
commit 37eda8c044
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5

@ -107,7 +107,7 @@ input box, such as FLAG-PASSWORD."
(list GRID-ELEMENT-COMPONENT input-visible-cb)
'())))
GRID-ELEMENT-COMPONENT ok-button))
(form (make-form)))
(form (make-form #:flags FLAG-NOF12)))
(add-component-callback
input-visible-cb
@ -181,7 +181,7 @@ of the page is set to TITLE."
(horizontal-stacked-grid
GRID-ELEMENT-COMPONENT ok-button
GRID-ELEMENT-COMPONENT exit-button)))
(form (make-form)))
(form (make-form #:flags FLAG-NOF12)))
(add-form-to-grid grid form #t)
(make-wrapped-grid-window grid title)
@ -315,7 +315,7 @@ the current listbox item has to be selected by key."
(if listbox-allow-multiple?
FLAG-MULTIPLE
0))))
(form (make-form))
(form (make-form #:flags FLAG-NOF12))
(info-textbox
(make-reflowed-textbox -1 -1 info-text
info-textbox-width
@ -516,7 +516,7 @@ ITEMS when 'Ok' is pressed."
GRID-ELEMENT-COMPONENT ok-button
GRID-ELEMENT-COMPONENT exit-button)))
(keys (fill-checkbox-tree checkbox-tree items))
(form (make-form)))
(form (make-form #:flags FLAG-NOF12)))
(add-form-to-grid grid form #t)
(make-wrapped-grid-window grid title)
@ -593,7 +593,7 @@ ITEMS when 'Ok' is pressed."
,@(if exit-button?
(list GRID-ELEMENT-COMPONENT exit-button)
'())))))
(form (make-form)))
(form (make-form #:flags FLAG-NOF12)))
(add-form-to-grid grid form #t)
(make-wrapped-grid-window grid title)