Function scheduleCurrentFileReload

src/stores/project.ts:343–351

(filePath: string)

  }

  function scheduleCurrentFileReload(filePath: string) {
    if (currentFileReloadTimer !== null) {
      window.clearTimeout(currentFileReloadTimer)
    }
    currentFileReloadTimer = window.setTimeout(() => {
      currentFileReloadTimer = null
      void loadFile(filePath, { silent: true })
    }, 160)
  }

  function toProjectRelativePath(filePath: string): string | null {
    if (!filePath || !projectPath.value) return null