Restart

JMRI · May 29, 2019 · 37f990f · 37f990f
1 parent 56f71f0
commit 37f990f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/java/src/jmri/jmrit/display/controlPanelEditor/EditPortalFrame.java b/java/src/jmri/jmrit/display/controlPanelEditor/EditPortalFrame.java
@@ -308,6 +308,7 @@ private void deletePortal() {
                     portal.dispose();
                     _portalList.dataChange();
                     _portalName.setText(null);
+                    // fall through to remove icon
                 case 1:
                     _currentPortalName = null;
                     PortalIcon icon = _parent.getPortalIconMap().get(name);