Merge pull request #14178 from catboxanon/fix/missing-setting-v1

Re-add `keyedit_delimiters_whitespace` setting lost as part of commit e294e46
AUTOMATIC1111 · Dec 3, 2023 · fed5b1d · fed5b1d
2 parents ac02216 + 9528d66
commit fed5b1d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/modules/shared_options.py b/modules/shared_options.py
@@ -255,6 +255,7 @@
     "keyedit_precision_attention": OptionInfo(0.1, "Precision for (attention:1.1) when editing the prompt with Ctrl+up/down", gr.Slider, {"minimum": 0.01, "maximum": 0.2, "step": 0.001}),
     "keyedit_precision_extra": OptionInfo(0.05, "Precision for <extra networks:0.9> when editing the prompt with Ctrl+up/down", gr.Slider, {"minimum": 0.01, "maximum": 0.2, "step": 0.001}),
     "keyedit_delimiters": OptionInfo(r".,\/!?%^*;:{}=`~() ", "Word delimiters when editing the prompt with Ctrl+up/down"),
+    "keyedit_delimiters_whitespace": OptionInfo(["Tab", "Carriage Return", "Line Feed"], "Ctrl+up/down whitespace delimiters", gr.CheckboxGroup, lambda: {"choices": ["Tab", "Carriage Return", "Line Feed"]}),
     "disable_token_counters": OptionInfo(False, "Disable prompt token counters").needs_reload_ui(),
 }))