My HTML has the scripts for jstree.search.js as well as jstree.js and I call jstree() like this:
tree = $('.jstree').jstree({
core: {
"check_callback" : true,
"themes" : { "stripes" : true },
},
"plugins" : [
"search", "state", "types"
]
});
I can tell the state works, but the search simply doesn't seem to do anything. I was expecting for a search bar to appear, but there is none.
What am I doing wrong?
Nothing wrong: you have to include the search bar yourself.
Enabling the plugin just allows to use the
.searchmethod.