in src/chicletSlicer.ts [946:971]
private createSearchHeader(container: JQuery): void {
let counter: number = 0;
this.$searchHeader = $("<div>")
.appendTo(container)
.addClass("searchHeader")
.addClass("collapsed");
$("<div>").appendTo(this.$searchHeader)
.attr("title", "Search")
.addClass("search");
this.$searchInput = $("<input>").appendTo(this.$searchHeader)
.attr("type", "text")
.attr("drag-resize-disabled", "true")
.addClass("searchInput")
.on("input", () => this.visualHost.persistProperties(<VisualObjectInstancesToPersist>{
merge: [{
objectName: "general",
selector: null,
properties: {
counter: counter++
}
}]
}));
}