add space for made name

2026-06-16 04:26:26 +02:00 · 2012-07-29 21:35:34 +00:00
parent e35de7e21b
commit 1fc35a8aa3
1 changed files with 1 additions and 1 deletions
@@ -119,7 +119,7 @@ public class Recent {
          File examplesFolder = mode.getExamplesFolder();
          String examplesPath = examplesFolder.getAbsolutePath();
          if (purtyPath.startsWith(examplesPath)) {
-            String modePrefix = mode.getTitle();
+            String modePrefix = mode.getTitle() + " ";
            if (mode.getTitle().equals("Standard")) {
              modePrefix = "";  // "Standard examples" is dorky
            }