mirror of
https://github.com/gradio-app/gradio.git
synced 2025-04-18 12:50:30 +08:00
8ec2b0b98a
* Rebase * Remove build hooks * Working implementation * Add semver + unit tests * CHANGELOG * Add to docs * Rename push_to_hub and fix typos * Fix gallery * Fix typo * Address comments + tests * Update gradio/themes/app.py Co-authored-by: Abubakar Abid <abubakar@huggingface.co> * Import Base as Theme. Use DefaultTheme() as fallback * Fix types * Make version and token truly optional * Add version dropdown + tests * trigger * Support private themes and org_names * Fix org_name typo * Update wheel * Fix font loading and dumping * fixing tests * fix tests * formatting * version * remove requirements * remove requirements * formatting * fix tests --------- Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
23 lines
593 B
JSON
23 lines
593 B
JSON
{
|
|
"python.formatting.provider": "black",
|
|
"cssvar.files": [
|
|
// Or your custom Pollen bundle
|
|
"./ui/node_modules/pollen-css/pollen.css",
|
|
],
|
|
// Do not ignore css files in node_modules, which is ignored by default
|
|
"cssvar.ignore": [],
|
|
// Use Pollen's inbuilt variable ordering
|
|
"cssvar.disableSort": true,
|
|
// Add support for autocomplete in other file types
|
|
"cssvar.extensions": [
|
|
"js",
|
|
"css",
|
|
"html",
|
|
"jsx",
|
|
"tsx",
|
|
"svelte"
|
|
],
|
|
"python.analysis.extraPaths": [
|
|
"./gradio/themes/utils"
|
|
]
|
|
} |