561 |
return; |
return; |
562 |
} |
} |
563 |
|
|
564 |
node.getInfo().setName(e.getNewName()); |
node.setName(e.getNewName()); |
565 |
DbDirectoryTreeNode parent = node.getParent(); |
DbDirectoryTreeNode parent = node.getParent(); |
566 |
|
|
567 |
int i = parent.getIndex(node); |
int i = parent.getIndex(node); |
646 |
String instr = getFileName(e.getPathName()); |
String instr = getFileName(e.getPathName()); |
647 |
if(instr == null) return; |
if(instr == null) return; |
648 |
|
|
649 |
DbInstrumentInfo info = node.getInstrument(instr); |
DbInstrumentInfo info = node.getInstrument(toNonEscapedFileName(instr)); |
650 |
|
|
651 |
if(info == null) { |
if(info == null) { |
652 |
// If the instrument is renamed by this frontend the |
// If the instrument is renamed by this frontend the |