From fd72afd8e701cec8888d7fb1438174a5b02b0cc4 Mon Sep 17 00:00:00 2001 From: oobabooga <112222186+oobabooga@users.noreply.github.com> Date: Fri, 31 Mar 2023 00:43:00 -0300 Subject: [PATCH] Increase the textbox sizes --- server.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/server.py b/server.py index 27223f8..8cbe1f7 100644 --- a/server.py +++ b/server.py @@ -408,7 +408,7 @@ def create_interface(): with gr.Row(): with gr.Column(scale=4): with gr.Tab('Raw'): - shared.gradio['textbox'] = gr.Textbox(value=default_text, elem_id="textbox", lines=25) + shared.gradio['textbox'] = gr.Textbox(value=default_text, elem_id="textbox", lines=27) with gr.Tab('Markdown'): shared.gradio['markdown'] = gr.Markdown() with gr.Tab('HTML'): @@ -442,7 +442,7 @@ def create_interface(): with gr.Tab("Text generation", elem_id="main"): with gr.Row(): with gr.Column(): - shared.gradio['textbox'] = gr.Textbox(value=default_text, lines=15, label='Input') + shared.gradio['textbox'] = gr.Textbox(value=default_text, lines=21, label='Input') shared.gradio['max_new_tokens'] = gr.Slider(minimum=shared.settings['max_new_tokens_min'], maximum=shared.settings['max_new_tokens_max'], step=1, label='max_new_tokens', value=shared.settings['max_new_tokens']) shared.gradio['Generate'] = gr.Button('Generate') with gr.Row(): @@ -455,7 +455,7 @@ def create_interface(): with gr.Column(): with gr.Tab('Raw'): - shared.gradio['output_textbox'] = gr.Textbox(lines=25, label='Output') + shared.gradio['output_textbox'] = gr.Textbox(lines=27, label='Output') with gr.Tab('Markdown'): shared.gradio['markdown'] = gr.Markdown() with gr.Tab('HTML'):