jstree 刷新一个leafnode

背景:

一个页面,分左右两部分,左部分是jstree,载入页面时通过ajax json得到数据,当点击一个节点的时候,右边页面会相应改变内容.

遇到的问题:

右边页面中有个功能是重命名当前node的text,保存后,左边的jstree的相应节点没有改变text,本来想重新刷新一下树,
但是这样异步发送也太多了,因为左边jstree有很多节点啊,查询jstree官方文档,发现有个函数叫做.rename_node(),所以就通过这个方法将
改变后的text,发送回来,直接在界面上将左边的相应node的text给改变.