show_dots    : function () { this.data.themes.dots = true; this.get_container().children("ul").removeClass("jstree-no-dots"); },