diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java
index 1dc7d4422..d40eddacf 100644
--- a/app/src/processing/app/EditorHeader.java
+++ b/app/src/processing/app/EditorHeader.java
@@ -359,7 +359,9 @@ public class EditorHeader extends JComponent {
           }
         };
       for (SketchCode code : sketch.getCode()) {
-        item = new JMenuItem(code.getPrettyName());
+        item = new JMenuItem(code.isExtension(sketch.getDefaultExtension()) ? 
+                             code.getPrettyName() : code.getFileName());
+        item.setActionCommand(code.getFileName());
         item.addActionListener(jumpListener);
         menu.add(item);
       }