in api-docs/0.6/lib/index.js [96:109]
function configureTextFilter() {
scheduler.add("init", function() {
$("#filter").append("<div id='textfilter'><input type='text' accesskey='/'/></div>");
var input = $("#textfilter > input");
resizeFilterBlock();
input.bind("keyup", function(event) {
if (event.keyCode == 27) { // escape
input.attr("value", "");
}
textFilter();
});
input.focus(function(event) { input.select(); });
});
}