From c247f114d7dcd49234ff63c6ecb30dfa124299de Mon Sep 17 00:00:00 2001 From: Manuel Schmid Date: Sat, 27 Jul 2024 20:36:11 +0200 Subject: [PATCH] feat: add config for default_developer_debug_mode_checkbox --- modules/config.py | 6 ++++++ webui.py | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/modules/config.py b/modules/config.py index b70cb5d3..611f62d1 100644 --- a/modules/config.py +++ b/modules/config.py @@ -439,6 +439,12 @@ default_invert_mask_checkbox = get_config_item_or_set_default( validator=lambda x: isinstance(x, bool), expected_type=bool ) +default_developer_debug_mode_checkbox = get_config_item_or_set_default( + key='default_developer_debug_mode_checkbox', + default_value=False, + validator=lambda x: isinstance(x, bool), + expected_type=bool +) default_max_image_number = get_config_item_or_set_default( key='default_max_image_number', default_value=32, diff --git a/webui.py b/webui.py index 2f12f155..eed93aca 100644 --- a/webui.py +++ b/webui.py @@ -693,9 +693,9 @@ with shared.gradio_root: value=modules.config.default_sample_sharpness, info='Higher value means image and texture are sharper.') gr.HTML('\U0001F4D4 Documentation') - dev_mode = gr.Checkbox(label='Developer Debug Mode', value=False, container=False) + dev_mode = gr.Checkbox(label='Developer Debug Mode', value=modules.config.default_developer_debug_mode_checkbox, container=False) - with gr.Column(visible=False) as dev_tools: + with gr.Column(visible=modules.config.default_developer_debug_mode_checkbox) as dev_tools: with gr.Tab(label='Debug Tools'): adm_scaler_positive = gr.Slider(label='Positive ADM Guidance Scaler', minimum=0.1, maximum=3.0, step=0.001, value=1.5, info='The scaler multiplied to positive ADM (use 1.0 to disable). ')