Allow reloading database contents from the UI

未關閉
#4,432 1 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視

還沒有人認領這個 Issue。

評估

難度
3/5
預估耗時
1-2 天
新手友好度
55/100
Issue 類型
功能
描述清晰度
基本清楚
活躍度
冷清
技術堆疊
typescript, vscode

研究方向

追蹤資料庫樹狀項目的右鍵內容選單,以及現有的刪除/匯入功能。先找出這些命令如何替換資料庫項目,然後新增一條手動重新載入路徑,從同一個檔案更新內容而不重新加入該檔案;完成的判定標準是可以查詢已更新的資料庫,而不會出現 issue 中描述的陳舊開啟錯誤。

由索引模型根據 Issue 內容生成。

描述

enhancement VSCode

Is your feature request related to a problem? Please describe.
When writing queries I often throw them against a small toy application that contains exactly the cases I am trying to query for. As my queries evolve and new edge-cases appear I have to frequently make modifications to the project, and this means recompiling the database. Currently to make the extension properly work with the new database I have to remove the old one and use the file picker to add a "new" database with the same file path. CodeQL does not seem to like it when the database is changed while it is open, so not doing this results in it seizing up when querying to other unintuitive errors.

Describe the solution you'd like
An extra option in the database right-click menu that tells the extension "I want to re-load the data from disk" would be nice. It could probably be implemented on top of existing delete/import functionality.

Describe alternatives you've considered
The best fix for this would probably be somehow automatically notifying the extension when the database contents change, however I am not sure whether this can be easily implemented. Allowing the manual reload fixes 90% of the annoyance without being too invasive.

Additional context
I am open to implementing this myself and opening a PR. I have not worked on VSC extensions before, but I am willing to give it a shot.

主要語言
TypeScript
星號
539
分支
240
平均合併
2 天 6 小時
30 天內合併 PR
29

貢獻指南

開啟貢獻指南

從這裡開始

  1. 先讀完整個 Issue,再讀專案的貢獻指南。
  2. 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
  3. Fork 儲存庫,在一個分支上完成修改。
  4. 送出 Pull Request,並在描述裡引用這個 Issue 編號。

github/vscode-codeql 的其他 Issue

查看 github/vscode-codeql 的全部 Issue

相似的 Issue

更多 TypeScript Issue

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。