mirror of
https://github.com/gradio-app/gradio.git
synced 2025-03-07 11:46:51 +08:00
f0a920c493
* added a show_line_numbers to toggle line numbers in gr.Code() * added a show_line_numbers to toggle line numbers in gr.Code() * add changeset * notebook * test_code.py updated to include show_line_numbers --------- Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com> Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
40 lines
1.1 KiB
Python
40 lines
1.1 KiB
Python
import gradio as gr
|
|
import os
|
|
from time import sleep
|
|
|
|
css_file = os.path.join(os.path.dirname(__file__), "file.css")
|
|
|
|
def set_lang(language):
|
|
print(language)
|
|
return gr.Code(language=language)
|
|
|
|
def set_lang_from_path():
|
|
sleep(1)
|
|
return gr.Code(open(css_file).read(), language="css")
|
|
|
|
def code(language, code):
|
|
return gr.Code(code, language=language)
|
|
|
|
io = gr.Interface(lambda x: x, "code", "code")
|
|
|
|
with gr.Blocks() as demo:
|
|
lang = gr.Dropdown(value="python", choices=gr.Code.languages)
|
|
with gr.Row():
|
|
code_in = gr.Code(
|
|
language="python",
|
|
label="Input",
|
|
value='def all_odd_elements(sequence):\n """Returns every odd element of the sequence."""',
|
|
show_line_numbers = False
|
|
)
|
|
code_out = gr.Code(label="Output", show_line_numbers = True)
|
|
btn = gr.Button("Run")
|
|
btn_two = gr.Button("Load File")
|
|
|
|
lang.change(set_lang, inputs=lang, outputs=code_in)
|
|
btn.click(code, inputs=[lang, code_in], outputs=code_out)
|
|
btn_two.click(set_lang_from_path, inputs=None, outputs=code_out)
|
|
io.render()
|
|
|
|
if __name__ == "__main__":
|
|
demo.launch()
|