mirror of
https://github.com/infinilabs/coco-app.git
synced 2025-12-23 23:09:25 +01:00
abf20f81ff
I was digging into an issue that the "File Search" extension does not appear in the extension list under some cases, then I realized that, in list_extensions(), "File Search" is another extension that needs to be processed separately, just like the "Applications" extension. Both extensions are of type group/extension, which semantically should behave like a folder, i.e., they contain sub-extensions, but they do not. In our implementation, they are more like command extensions. So we treat them as normal extensions in list_extensioins().