843f47346a4bc5121441d331692f287bdc4792c9
Fix the bug that can not load when switch between two tools. Optimize navigate when can not find tool.
Description
Languages
TypeScript
99.5%
HTML
0.3%
JavaScript
0.1%
Shell
0.1%