fix: don't show popovers on heading anchors

Jacky Zhao

2023-12-03 9c88d5967fee49d9e69b0e5dd22ca3bc44f9a12e

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