Merge pull request #1377 from paulkaplan/update-extension-names

Update the category info name when the extension is refreshed.
This commit is contained in:
Paul Kaplan 2018-07-18 15:18:27 -04:00 committed by GitHub
commit a069a295d7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -565,6 +565,7 @@ class Runtime extends EventEmitter {
let extensionBlocks = []; let extensionBlocks = [];
for (const categoryInfo of this._blockInfo) { for (const categoryInfo of this._blockInfo) {
if (extensionInfo.id === categoryInfo.id) { if (extensionInfo.id === categoryInfo.id) {
categoryInfo.name = maybeFormatMessage(extensionInfo.name);
categoryInfo.blocks = []; categoryInfo.blocks = [];
categoryInfo.menus = []; categoryInfo.menus = [];
this._fillExtensionCategory(categoryInfo, extensionInfo); this._fillExtensionCategory(categoryInfo, extensionInfo);