diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-01-20 22:12:45 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-20 23:21:00 +0100 |
| commit | 37eda8c044d7923da36f2857040d48335ca6f439 (patch) | |
| tree | e195ca9a78e2ac72870fc8d6631b862a4cc16607 /doc | |
| parent | 48659aa22170a252c9b2e60f16fbe9f83a6deba4 (diff) | |
| download | patches-37eda8c044d7923da36f2857040d48335ca6f439.tar patches-37eda8c044d7923da36f2857040d48335ca6f439.tar.gz | |
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'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions