Extension Development TIPs
Suppose you are developing an extension and you modified the manifest file, e.g. add a command or modified the permissions.
The app doesn't know when you modified the file, thus you will need to manually reload. You don't need to reinstall the extension from settings.
Simply use the "Reload Window".
Or even better, use the "Reload Extensions" built-in command.
