if (editor instanceof GenericEditor) {
((GenericEditor) editor).setSubTitle(tx.getName());
}
editor.setEditable(true);
editor.decorateText(TextStyles.DefaultText.asTextDecorator());
editor.addResource(new AbstractWindowElementResource() {
@Override
public void dispose(WindowElement e) {
file.delete();
}