how to change jstree search into ajax search
<p>I'm trying to turn my jstree search into ajax search with the following configuration, my problem is, even though it sends "str" to the url and I receive the data in a json ["#id"] like, but jstree still does its normal search</p>

<pre><code>// $.jstree.defaults.search.ajax = true;

$('#node_tree').jstree({
        'core' : {
        'data': fill_tree(),
    },
    "plugins": ["search", "state","themes"],
    'search': {
        'show_only_matches': true,
        'ajax': {
            'url': '/device/jstree',
            'dataType': 'json',
            'type': 'GET'
    }
</code></pre>

<p>My ajax is already working, and I need jstree to show my hard-coded result instead of its default search.</p>