diff options
| author | Pascal Getreuer <50221757+getreuer@users.noreply.github.com> | 2023-05-20 05:35:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-20 22:35:06 +1000 |
| commit | 3993b15f054265071730cdb450f43457dcf4c64a (patch) | |
| tree | 61c5b980ed14428bae3c0278c27937dbb5d33627 /builddefs/show_options.mk | |
| parent | e1766df185869d8a591228d37f3f7b6d5b4049b4 (diff) | |
[Core] Add Repeat Key ("repeat last key") as a core feature. (#19700)
Co-authored-by: casuanoob <96005765+casuanoob@users.noreply.github.com>
Co-authored-by: Sergey Vlasov <sigprof@gmail.com>
Diffstat (limited to 'builddefs/show_options.mk')
| -rw-r--r-- | builddefs/show_options.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/builddefs/show_options.mk b/builddefs/show_options.mk index 9723b45438..8bcc02083b 100644 --- a/builddefs/show_options.mk +++ b/builddefs/show_options.mk @@ -85,7 +85,8 @@ OTHER_OPTION_NAMES = \ SECURE_ENABLE \ CAPS_WORD_ENABLE \ AUTOCORRECT_ENABLE \ - TRI_LAYER_ENABLE + TRI_LAYER_ENABLE \ + REPEAT_KEY_ENABLE define NAME_ECHO @printf " %-30s = %-16s # %s\\n" "$1" "$($1)" "$(origin $1)" |