2025-10-29 07:12:11

概述

翻译

Admittedly, GitHub has a "find file" button in place to search for files through the repository. But this plugin does more.

GitHub Search-lite searches for files and folders and informs you about the size and path(this is useful when there are multiple files with the same name, in the project) before you select the file/folder to navigate to.

Also, once you navigate to a file you may download a copy of the file using the download button. Currently, only files(not folders) can be downloaded. The search box is placed at a convenient position, so that it can be used intuitively.

FEEDBACK / BUG

Having troubles or improvements ideas? Submit your feedback to psantwani@gmail.com

--------------------------

PLEASE NOTICE: "GitHub Searchlite" is not endorsed by GitHub.

GitHub and Chrome, are trademarks of their respective owners. 来自商店的评价 (0)

中文 所有语言

无数据

有用 最新

无数据

尚无人评价此扩展,查看 所有语言 留言

Copyright © 2088 英式橄榄球世界杯_世界杯女篮 - tylpr.com All Rights Reserved.
友情链接