mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
trim dot also
This commit is contained in:
+1
-1
@@ -13,7 +13,7 @@ import org.jetbrains.debugger.sourcemap.SourceMap;
|
||||
import java.util.Map;
|
||||
|
||||
public final class NameMapper {
|
||||
private static final CharMatcher NAME_TRIMMER = CharMatcher.INVISIBLE.or(CharMatcher.anyOf(",()[]{}="));
|
||||
private static final CharMatcher NAME_TRIMMER = CharMatcher.INVISIBLE.or(CharMatcher.anyOf(".,()[]{}="));
|
||||
|
||||
private final Document document;
|
||||
private final Document generatedDocument;
|
||||
|
||||
Reference in New Issue
Block a user