diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-10-01 07:04:08 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-01 07:04:08 +0300 |
| commit | 7026b964761b107a7cb129e89bdfab79f02de385 (patch) | |
| tree | c4b45a3421fe25bee14322e5b1a14e17c8d3d6b4 /modules/shared_options.py | |
| parent | b2f9709538ee40c6bbf11e3f17f7e3ea4b9cb78a (diff) | |
| parent | 56ef5e9d48750fd43f9faba31ff67e64368153b7 (diff) | |
Merge pull request #13444 from AUTOMATIC1111/edit-attn-delimiters
edit-attention: Allow editing whitespace delimiters
Diffstat (limited to 'modules/shared_options.py')
| -rw-r--r-- | modules/shared_options.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules/shared_options.py b/modules/shared_options.py index 61b93d47..ab9b0072 100644 --- a/modules/shared_options.py +++ b/modules/shared_options.py @@ -256,7 +256,8 @@ options_templates.update(options_section(('ui', "User interface"), { "dimensions_and_batch_together": OptionInfo(True, "Show Width/Height and Batch sliders in same row").needs_reload_ui(),
"keyedit_precision_attention": OptionInfo(0.1, "Ctrl+up/down precision when editing (attention:1.1)", gr.Slider, {"minimum": 0.01, "maximum": 0.2, "step": 0.001}),
"keyedit_precision_extra": OptionInfo(0.05, "Ctrl+up/down precision when editing <extra networks:0.9>", gr.Slider, {"minimum": 0.01, "maximum": 0.2, "step": 0.001}),
- "keyedit_delimiters": OptionInfo(".,\\/!?%^*;:{}=`~()", "Ctrl+up/down word delimiters"),
+ "keyedit_delimiters": OptionInfo(r".,\/!?%^*;:{}=`~() ", "Ctrl+up/down word delimiters"),
+ "keyedit_delimiters_whitespace": OptionInfo(["Tab", "Carriage Return", "Line Feed"], "Ctrl+up/down whitespace delimiters", gr.CheckboxGroup, lambda: {"choices": ["Tab", "Carriage Return", "Line Feed"]}),
"keyedit_move": OptionInfo(True, "Alt+left/right moves prompt elements"),
"quicksettings_list": OptionInfo(["sd_model_checkpoint"], "Quicksettings list", ui_components.DropdownMulti, lambda: {"choices": list(shared.opts.data_labels.keys())}).js("info", "settingsHintsShowQuicksettings").info("setting entries that appear at the top of page rather than in settings tab").needs_reload_ui(),
"ui_tab_order": OptionInfo([], "UI tab order", ui_components.DropdownMulti, lambda: {"choices": list(shared.tab_names)}).needs_reload_ui(),
|