zed
zed copied to clipboard
zed-industries
`pyrefly` doesn't show up under the installed extensions
Summary
I installed pyrefly, but it doesn't show up under Extensions / Installed unless I search for it.
Description
I tried to install and reinstall it, nothing changed. The extension appears to run, though.
Zed Version and System Specs
Zed: v0.187.4 (Zed Preview) OS: Linux Wayland fedora 42 Memory: 62.7 GiB Architecture: x86_64 GPU: AMD Radeon RX 6800 XT (RADV NAVI21) || radv || Mesa 25.0.4
This happens for Ty as well. For Ty, it appears if you filter for Language Servers + Installed but not All + Installed.
To give this some context: This error happens due to pagination on the side of the extension API. Since Zed now has more than 500 extensions and the server API only returns the first 500 extensions, pyrefly and such do not show up under the list due to only filtering on the received remote extensions here:
https://github.com/zed-industries/zed/blob/908678403871e0ef18bbe20f78a84654dfdd431d/crates/extensions_ui/src/extensions_ui.rs#L412-L430
Since pyrefly does not occur in that list (because it was not under the top 500 at the time of writing), it does not show in the Installed-tab. Upon querying for it, it does show up, since filtering triggers a new request and pyrefly appears in the server's response.
Most notably, this error is not limited to the Installed tab: You will notice that the list of All will also show only the first 500 extensions and will not fetch any extensions beyond that. In that list, pyrefly would also not be found due to the reason mentioned above.
I felt this day was coming...
- https://github.com/zed-industries/zed/issues/8228
- https://github.com/zed-industries/zed/pull/8234
The urge to bump is high, but we should spend time on a real fix, lazily-loaded extensions on scroll, or similar.
