Rudder

happens also on Edge

Ok, it seems it is heavily manipulating the DOM, and at each character it does a change.
Searching for "test" in one JS call is pretty fast (at least, barely noticable)

$('#activeTechniquesTree').jstree('searchtag', 'test', [], false);

$('#activeTechniquesTree').jstree('searchtag', 't', [], false);$('#activeTechniquesTree').jstree('searchtag', 'te', [], false);$('#activeTechniquesTree').jstree('searchtag', 'tes', [], false);$('#activeTechniquesTree').jstree('searchtag', 'test', [], false);

as described in https://github.com/vakata/jstree/issues/1195 ( http://jsfiddle.net/no430s1f/2/ ) we should not immediately search, but rather have a small grace period for text change in the search box