refresh category buttons when switching to dev mode and back

HISTORY.md

@@ -65,6 +65,7 @@
 
 ### 2021-11-23
 * byob: refresh category buttons when hiding / showing blocks
+* gui: refresh category buttons when switching to dev mode and back
 
 ### 2021-11-19
 * objects, byob, gui: visually indicate empty categories by half-toning their buttons

snap.html

@@ -20,7 +20,7 @@
         <script src="src/threads.js?version=2021-11-15"></script>
         <script src="src/objects.js?version=2021-11-19"></script>
         <script src="src/scenes.js?version=2021-11-12"></script>
-        <script src="src/gui.js?version=2021-11-22"></script>
+        <script src="src/gui.js?version=2021-11-23"></script>
         <script src="src/paint.js?version=2021-07-05"></script>
         <script src="src/lists.js?version=2021-07-19"></script>
         <script src="src/byob.js?version=2021-11-23"></script>

src/gui.js

@@ -86,7 +86,7 @@ BlockVisibilityDialogMorph, ThreadManager*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2021-November-22';
+modules.gui = '2021-November-23';
 
 // Declarations
 
@@ -6001,6 +6001,7 @@ IDE_Morph.prototype.switchToUserMode = function () {
     });
     this.flushBlocksCache();
     this.refreshPalette();
+    this.categories.refreshEmpty();
     // prevent non-DialogBoxMorphs from being dropped
     // onto the World in user-mode
     world.reactToDropOf = (morph) => {
@@ -6028,6 +6029,7 @@ IDE_Morph.prototype.switchToDevMode = function () {
     this.setPosition(world.position().add(20));
     this.flushBlocksCache();
     this.refreshPalette();
+    this.categories.refreshEmpty();
     // enable non-DialogBoxMorphs to be dropped
     // onto the World in dev-mode
     delete world.reactToDropOf;