mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
1e99873fa5
* changes * changes * fix all things * fix root * fix ids * tweaks * twaks * handle whitespace * tweaks and fix checks * revert demo change * formatting * formatting * regen notebooks * add eager attribute * tweaks + formatting * changelog * fix * fix * fix css stuff * tweak timeout when pollig * format * tweak * format
8 lines
117 B
JSON
8 lines
117 B
JSON
{
|
|
"useTabs": true,
|
|
"singleQuote": false,
|
|
"trailingComma": "none",
|
|
"printWidth": 80,
|
|
"pluginSearchDirs": ["."]
|
|
}
|