Spaces:
Runtime error
Runtime error
enable text select
Browse files- app.py +1 -1
- src/display/css_html_js.py +7 -0
app.py
CHANGED
|
@@ -393,6 +393,6 @@ with demo:
|
|
| 393 |
|
| 394 |
scheduler = BackgroundScheduler()
|
| 395 |
scheduler.add_job(restart_space, "interval", seconds=1800)
|
| 396 |
-
scheduler.add_job(launch_backend, "interval", seconds=100) # will only allow one job to be run at the same time
|
| 397 |
scheduler.start()
|
| 398 |
demo.queue(default_concurrency_limit=40).launch()
|
|
|
|
| 393 |
|
| 394 |
scheduler = BackgroundScheduler()
|
| 395 |
scheduler.add_job(restart_space, "interval", seconds=1800)
|
| 396 |
+
# scheduler.add_job(launch_backend, "interval", seconds=100) # will only allow one job to be run at the same time
|
| 397 |
scheduler.start()
|
| 398 |
demo.queue(default_concurrency_limit=40).launch()
|
src/display/css_html_js.py
CHANGED
|
@@ -57,6 +57,13 @@ table > tbody > tr > td:nth-child(2) > div {
|
|
| 57 |
width: 450px;
|
| 58 |
}
|
| 59 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 60 |
.tab-buttons button {
|
| 61 |
font-size: 20px;
|
| 62 |
}
|
|
|
|
| 57 |
width: 450px;
|
| 58 |
}
|
| 59 |
|
| 60 |
+
tbody span {
|
| 61 |
+
-webkit-user-select: text;
|
| 62 |
+
-moz-user-select: text;
|
| 63 |
+
-ms-user-select: text;
|
| 64 |
+
user-select: text;
|
| 65 |
+
}
|
| 66 |
+
|
| 67 |
.tab-buttons button {
|
| 68 |
font-size: 20px;
|
| 69 |
}
|