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 摘要。