From 7aa45ddb38923a156af7a455ac1d5af7a2bc062a Mon Sep 17 00:00:00 2001
From: Paul Kaplan <pkaplan@media.mit.edu>
Date: Wed, 18 Jul 2018 15:01:22 -0400
Subject: [PATCH] Update the category info name when the extension is
 refreshed.

Fixes an issue where changing languages did not update the name in the category menu.
---
 src/engine/runtime.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/engine/runtime.js b/src/engine/runtime.js
index 9a6e51945..69b801c02 100644
--- a/src/engine/runtime.js
+++ b/src/engine/runtime.js
@@ -565,6 +565,7 @@ class Runtime extends EventEmitter {
         let extensionBlocks = [];
         for (const categoryInfo of this._blockInfo) {
             if (extensionInfo.id === categoryInfo.id) {
+                categoryInfo.name = maybeFormatMessage(extensionInfo.name);
                 categoryInfo.blocks = [];
                 categoryInfo.menus = [];
                 this._fillExtensionCategory(categoryInfo, extensionInfo);