String (IElementType tokenType) { if (tokenType instanceof TextMateElementType) { TextMateScope scope = ((TextMateElementType)tokenType).getScope(); StringBuilder builder = new StringBuilder(); CharSequence scopeName = scope.getScopeName(); if (scopeName != null) { builder.append(scopeName); } TextMateScope parent = scope.getParent(); while (parent != null) { CharSequence parentScopeName = parent.getScopeName(); if (parentScopeName != null) { if (!builder.isEmpty()) { builder.insert(0, ";"); } builder.insert(0, parentScopeName); } parent = parent.getParent(); } return builder.toString().trim(); } return tokenType.toString(); }