Update themes/[email protected]
Browse files- themes/[email protected] +2 -14
themes/[email protected]
CHANGED
@@ -1,16 +1,4 @@
|
|
1 |
-
|
2 |
-
|
3 |
-
def validate_json(json_string):
|
4 |
-
try:
|
5 |
-
json.loads(json_string)
|
6 |
-
print("JSON is valid.")
|
7 |
-
except json.JSONDecodeError as e:
|
8 |
-
print(f"JSON is invalid: {e}")
|
9 |
-
print(f"Error occurred at line {e.lineno}, column {e.colno}")
|
10 |
-
print(f"Problematic part of the JSON: {json_string[e.pos-10:e.pos+10]}")
|
11 |
-
|
12 |
-
# Your JSON string here
|
13 |
-
json_string = """{
|
14 |
"theme": {
|
15 |
"_font": [
|
16 |
{"__gradio_font__": true, "name": "Asap", "class": "google"},
|
@@ -314,4 +302,4 @@ json_string = """{
|
|
314 |
"text_xxs": "9px"
|
315 |
},
|
316 |
"version": "1.2.2"
|
317 |
-
}
|
|
|
1 |
+
{
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
"theme": {
|
3 |
"_font": [
|
4 |
{"__gradio_font__": true, "name": "Asap", "class": "google"},
|
|
|
302 |
"text_xxs": "9px"
|
303 |
},
|
304 |
"version": "1.2.2"
|
305 |
+
}
|