From 55a685d999d9a8090cae734acbd832485d0642fd Mon Sep 17 00:00:00 2001 From: oobabooga <112222186+oobabooga@users.noreply.github.com> Date: Sun, 24 Sep 2023 14:11:22 -0700 Subject: [PATCH] Minor fixes --- css/main.css | 2 +- modules/ui_parameters.py | 10 +++++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/css/main.css b/css/main.css index d2cf3057..11f1afdd 100644 --- a/css/main.css +++ b/css/main.css @@ -127,7 +127,7 @@ div.svelte-15lo0d8 > *, div.svelte-15lo0d8 > .form > * { height: calc(100dvh - 292px); } -.monospace { +.monospace textarea { font-family: monospace; } diff --git a/modules/ui_parameters.py b/modules/ui_parameters.py index fcea8054..eb99b913 100644 --- a/modules/ui_parameters.py +++ b/modules/ui_parameters.py @@ -126,7 +126,6 @@ def create_ui(default_preset): shared.gradio['delete_grammar'] = gr.Button('🗑️ ', elem_classes='refresh-button') shared.gradio['grammar_string'] = gr.Textbox(value='', label='Grammar', lines=16, elem_classes=['add_scrollbar', 'monospace']) - shared.gradio['grammar_file'].change(lambda x: open(Path(f'grammars/{x}'), 'r').read(), gradio('grammar_file'), gradio('grammar_string')) ui_chat.create_chat_settings_ui() @@ -134,6 +133,7 @@ def create_ui(default_preset): def create_event_handlers(): shared.gradio['filter_by_loader'].change(loaders.blacklist_samplers, gradio('filter_by_loader'), gradio(loaders.list_all_samplers()), show_progress=False) shared.gradio['preset_menu'].change(presets.load_preset_for_ui, gradio('preset_menu', 'interface_state'), gradio('interface_state') + gradio(presets.presets_params())) + shared.gradio['grammar_file'].change(load_grammar, gradio('grammar_file'), gradio('grammar_string')) def get_truncation_length(): @@ -143,3 +143,11 @@ def get_truncation_length(): return shared.args.n_ctx else: return shared.settings['truncation_length'] + + +def load_grammar(name): + p = Path(f'grammars/{name}') + if p.exists(): + return open(p, 'r').read() + else: + return ''