From 365335e1ae12a6bc9495177e2dcf7dad58cffdbc Mon Sep 17 00:00:00 2001 From: oobabooga <112222186+oobabooga@users.noreply.github.com> Date: Tue, 26 Sep 2023 06:47:19 -0700 Subject: [PATCH] Minor fix --- modules/ui_parameters.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/modules/ui_parameters.py b/modules/ui_parameters.py index c7ddbb6..28a03df 100644 --- a/modules/ui_parameters.py +++ b/modules/ui_parameters.py @@ -73,10 +73,10 @@ def create_ui(default_preset): shared.gradio['stream'] = gr.Checkbox(value=shared.settings['stream'], label='Activate text streaming') with gr.Row() as shared.gradio['grammar_file_row']: - shared.gradio['grammar_file'] = gr.Dropdown(value='None', choices=utils.get_available_grammars(), label='Load grammar from file (.gbnf)', elem_classes='slim-dropdown') - ui.create_refresh_button(shared.gradio['grammar_file'], lambda: None, lambda: {'choices': utils.get_available_grammars()}, 'refresh-button') - shared.gradio['save_grammar'] = gr.Button('💾', elem_classes='refresh-button') - shared.gradio['delete_grammar'] = gr.Button('🗑️ ', elem_classes='refresh-button') + shared.gradio['grammar_file'] = gr.Dropdown(value='None', choices=utils.get_available_grammars(), label='Load grammar from file (.gbnf)', elem_classes='slim-dropdown', interactive=not mu) + ui.create_refresh_button(shared.gradio['grammar_file'], lambda: None, lambda: {'choices': utils.get_available_grammars()}, 'refresh-button', interactive=not mu) + shared.gradio['save_grammar'] = gr.Button('💾', elem_classes='refresh-button', interactive=not mu) + shared.gradio['delete_grammar'] = gr.Button('🗑️ ', elem_classes='refresh-button', interactive=not mu) shared.gradio['grammar_string'] = gr.Textbox(value='', label='Grammar', lines=16, elem_classes=['add_scrollbar', 'monospace'])