Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -51,12 +51,12 @@ def page_i(i, ix, query):
|
|
51 |
|
52 |
with gr.Blocks(css="#b {min-width:15px;background:transparent;}") as demo: #border:white;box-shadow:none;
|
53 |
with gr.Row():
|
54 |
-
gr.Markdown(value="""## <p style="text-align: center;"> Code search </p>""")
|
55 |
with gr.Row():
|
56 |
with gr.Column(scale=1):
|
57 |
result_list = gr.Dataframe(type="array", visible=False, col_count=1)
|
58 |
with gr.Column(scale=13):
|
59 |
-
query = gr.Textbox(lines=1, max_lines=1, placeholder="Search…", label="")
|
60 |
with gr.Column(scale=1):
|
61 |
with gr.Row(scale=1):
|
62 |
pass
|
|
|
51 |
|
52 |
with gr.Blocks(css="#b {min-width:15px;background:transparent;}") as demo: #border:white;box-shadow:none;
|
53 |
with gr.Row():
|
54 |
+
gr.Markdown(value="""## <p style="text-align: center;"> Code search </p>""")
|
55 |
with gr.Row():
|
56 |
with gr.Column(scale=1):
|
57 |
result_list = gr.Dataframe(type="array", visible=False, col_count=1)
|
58 |
with gr.Column(scale=13):
|
59 |
+
query = gr.Textbox(lines=1, max_lines=1, placeholder="Search…", label="Query")
|
60 |
with gr.Column(scale=1):
|
61 |
with gr.Row(scale=1):
|
62 |
pass
|