Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -131,10 +131,10 @@ with gr.Blocks(theme=gr.themes.Soft(), css="#textbox_id {color: red; font-samily
|
|
| 131 |
],
|
| 132 |
value="Character count",
|
| 133 |
label="Length function",
|
| 134 |
-
info="How should we
|
| 135 |
)
|
| 136 |
slider_count = gr.Slider(
|
| 137 |
-
20, 500, value=200, label="
|
| 138 |
)
|
| 139 |
out = gr.HighlightedText(
|
| 140 |
label="Output",
|
|
|
|
| 131 |
],
|
| 132 |
value="Character count",
|
| 133 |
label="Length function",
|
| 134 |
+
info="How should we measure our chunk lengths?",
|
| 135 |
)
|
| 136 |
slider_count = gr.Slider(
|
| 137 |
+
20, 500, value=200, label="Chunk length π", info="In the chosen unit."
|
| 138 |
)
|
| 139 |
out = gr.HighlightedText(
|
| 140 |
label="Output",
|