{
  "editor.hover.delay": 1000
}