Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
@@ -190,7 +190,7 @@ with gr.Blocks(
|
|
190 |
download_output = gr.File(label="Download", visible=False)
|
191 |
|
192 |
# JavaScript for shortcuts and cursor tracking
|
193 |
-
app.load(
|
194 |
() => {
|
195 |
const editor = document.querySelector('#code_editor textarea');
|
196 |
const status = document.querySelector('#status_info input');
|
|
|
190 |
download_output = gr.File(label="Download", visible=False)
|
191 |
|
192 |
# JavaScript for shortcuts and cursor tracking
|
193 |
+
app.load(js="""
|
194 |
() => {
|
195 |
const editor = document.querySelector('#code_editor textarea');
|
196 |
const status = document.querySelector('#status_info input');
|