Ability to change the favicon.

Gandi-IDE / custom-extension

GNU Lesser General Public License v2.1

43 stars 62 forks source link

Ability to change the favicon. #250

Open fath11 opened 5 months ago

fath11 commented 5 months ago

I think this will be a great addition to the System Tools extension since some creators in the international version want custom favicon for their games.

Unfortunately, I can't get the extension that is in the developer branch to load in gandi so I am just making this issue so anyone who CAN get it to load will add this feature.

fath11 commented 5 months ago

@yuen619

fath11 commented 5 months ago

in a situation where no one bothers to do this, I want to know if I have permission to port that darn extension to the normal extension format so it can go into the normal extensions branch(main branch) and no one has to overcomplicate anything

pros in doing the above: the extension will be compatible with every other scratch mods

MoreBugOfDog commented 5 months ago

这个拓展我正在做请静候我的PR！当前积木：

MoreBugOfDog commented 5 months ago

PR # 253