Extension Icons now show up in Tools dock

Hey there, extension developers!

A new major update for extensions just landed, which is the long-awaited displaying of Extension icons in the Tools dock! We kindly ask that if you have an extension published to the store to make a new icon with the new Icon Generator extension on the store.

Screen Shot 2023-05-16 at 4.13.36 PM

Screen Shot 2023-05-16 at 4.12.48 PM

Note: If you would like to gain access to experimental APIs, additional features, and improved support in the discord server, please send an email to connerow@repl.it requesting access.


Extensions is such a great feature!