mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 17:03:12 +07:00
chartable to user map hack removed
This commit is contained in:
@@ -37,15 +37,9 @@ public class Factory implements Constants {
|
||||
|
||||
public static LeafElement createSingleLeafElement(IElementType type, char[] buffer, int startOffset, int endOffset, CharTable table, PsiManager manager) {
|
||||
final LeafElement newElement;
|
||||
if(table != null){
|
||||
newElement = Factory.createLeafElement(type, buffer, startOffset, endOffset, -1, table);
|
||||
newElement.putUserData(CharTable.CHAR_TABLE_KEY, table);
|
||||
}
|
||||
else{
|
||||
final FileElement holderElement = new DummyHolder(manager, null, table).getTreeElement();
|
||||
newElement = Factory.createLeafElement(type, buffer, startOffset, endOffset, -1, holderElement.getCharTable());
|
||||
TreeUtil.addChildren(holderElement, newElement);
|
||||
}
|
||||
final FileElement holderElement = new DummyHolder(manager, null, table).getTreeElement();
|
||||
newElement = Factory.createLeafElement(type, buffer, startOffset, endOffset, -1, holderElement.getCharTable());
|
||||
TreeUtil.addChildren(holderElement, newElement);
|
||||
return newElement;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user