Index: trunk/scripts/SyncEditorLayerIndex.java
===================================================================
--- trunk/scripts/SyncEditorLayerIndex.java	(revision 15849)
+++ trunk/scripts/SyncEditorLayerIndex.java	(revision 15850)
@@ -110,4 +110,5 @@
     private static boolean optionNoEli;
     private Map<String, String> skip = new HashMap<>();
+    private Map<String, String> skipStart = new HashMap<>();
 
     /**
@@ -249,8 +250,21 @@
                 Matcher res = pattern.matcher(line);
                 if (res.matches()) {
-                    if ("Ignore".equals(res.group(1))) {
-                        skip.put(res.group(2), "green");
-                    } else {
-                        skip.put(res.group(2), "darkgoldenrod");
+                    String s = res.group(2);
+                    if(s.endsWith("..."))
+                    {
+                        s = s.substring(0, s.length() - 3);
+                        if ("Ignore".equals(res.group(1))) {
+                            skipStart.put(s, "green");
+                        } else {
+                            skipStart.put(s, "darkgoldenrod");
+                        }
+                    }
+                    else
+                    {
+                        if ("Ignore".equals(res.group(1))) {
+                            skip.put(s, "green");
+                        } else {
+                            skip.put(s, "darkgoldenrod");
+                        }
                     }
                 }
@@ -271,7 +285,17 @@
     }
 
+    String isSkipString(String s) {
+        if (skip.containsKey(s))
+            return skip.get(s);
+        for (Entry<String, String> str : skipStart.entrySet()) {
+            if (s.startsWith(str.getKey()))
+                return str.getValue();
+        }
+        return null;
+    }
+    
     void myprintln(String s) {
-        if (skip.containsKey(s)) {
-            String color = skip.get(s);
+        String color;
+        if ((color = isSkipString(s)) != null) {
             skip.remove(s);
             if (optionXhtmlBody || optionXhtml) {
@@ -283,5 +307,5 @@
             }
         } else if (optionXhtmlBody || optionXhtml) {
-            String color =
+            color =
                     s.startsWith("***") ? "black" :
                         ((s.startsWith("+ ") || s.startsWith("+++ ELI")) ? "blue" :