From efedfa70495657e371eb51f8398c6e742e5fa3cf Mon Sep 17 00:00:00 2001
From: Georg von Zengen <oni303@gmail.com>
Date: Thu, 27 Feb 2014 14:30:19 +0100
Subject: [PATCH] cut the filename at the last '.' not at the first in
 tab-names of the editor

---
 app/src/processing/app/SketchCode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/SketchCode.java b/app/src/processing/app/SketchCode.java
index 807d479ea..55b6addca 100644
--- a/app/src/processing/app/SketchCode.java
+++ b/app/src/processing/app/SketchCode.java
@@ -87,7 +87,7 @@ public class SketchCode {
 
   protected void makePrettyName() {
     prettyName = file.getName();
-    int dot = prettyName.indexOf('.');
+    int dot = prettyName.lastIndexOf('.');
     prettyName = prettyName.substring(0, dot);
   }