![]() This PR fixes the scrolling of the extension list, as well as adds various empty and loading states. Release Notes: - N/A |
||
---|---|---|
.. | ||
extensions_ui.rs |
![]() This PR fixes the scrolling of the extension list, as well as adds various empty and loading states. Release Notes: - N/A |
||
---|---|---|
.. | ||
extensions_ui.rs |