fix: Reload graph after a theme change (closes #1380) (#1383)

MarcRez33

2024-08-31 01fc26d2c0453b5dec70669b8cadd0622b64036c

1
2
3
4
5
6
7
{
  "printWidth": 100,
  "quoteProps": "as-needed",
  "trailingComma": "all",
  "tabWidth": 2,
  "semi": false
}