Originally created by @hemangjoshi37a on GitHub (Jan 17, 2024).
Search box for all chat like VSCode search box for all files.
Here the search box in the left panel should not only search the chats with search string but also with all chat history of all the chats. something like vs code file search.
Originally created by @hemangjoshi37a on GitHub (Jan 17, 2024).
*Search box for all chat like VSCode search box for all files.*
Here the search box in the left panel should not only search the chats with search string but also with all chat history of all the chats. something like vs code file search.
Hi, Thanks for the suggestion! I'll be closing this as I personally don't see myself implementing this anytime soon, but feel free to make a PR with the feature if you (or anyone) manage to implement it, Thanks!
@tjbck commented on GitHub (Jan 18, 2024):
Hi, Thanks for the suggestion! I'll be closing this as I personally don't see myself implementing this anytime soon, but feel free to make a PR with the feature if you (or anyone) manage to implement it, Thanks!
@hemangjoshi37a commented on GitHub (Jan 19, 2024):
If you can not develop this then at least keep it open if anyone wants to develop. why do you rush so much to close it ?
@hemangjoshi37a commented on GitHub (Jan 19, 2024):
If you can not develop this then at least keep it open if anyone wants to develop. why do you rush so much to close it ?
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Originally created by @hemangjoshi37a on GitHub (Jan 17, 2024).
Search box for all chat like VSCode search box for all files.
Here the search box in the left panel should not only search the chats with search string but also with all chat history of all the chats. something like vs code file search.
@tjbck commented on GitHub (Jan 18, 2024):
Hi, Thanks for the suggestion! I'll be closing this as I personally don't see myself implementing this anytime soon, but feel free to make a PR with the feature if you (or anyone) manage to implement it, Thanks!
@hemangjoshi37a commented on GitHub (Jan 19, 2024):
If you can not develop this then at least keep it open if anyone wants to develop. why do you rush so much to close it ?