title: How to update jstree node values without reload
body: <p>I have a jstree that I created with the following code:</p>
  
  <pre><code>$('#mytree').jstree({"core": { "data" : value
                               , "themes" : { "dots": false
                                            , "icons": false }
                               }
                      }
                     );
  </code></pre>
  
  <p>I can rebuild it with new data by this code:</p>
  
  <pre><code>$('#mytree').jstree(true).settings.core.data = new_data;
  $('#mytree').jstree(true).refresh();
  </code></pre>
  
  <p>but it can be expensive when you have a lot of nodes. What I would like to achieve is that I would like update the value of the elements (i.e. the <code>node.text</code> part) without rebuilding the whole tree. I get the new values via websocket in one message (the complete JSON string that will be the <code>new_data</code>) but the structure is not changing. How can I do that? Thank you!</p>