jQuery table filter trigger for IE10.

filter.js

$(function(){
	$('#filter').on("keyup", filter)
	// Too slow? Wait for enter:
	//$('#filter').on('change', filter);
	// Help IE10 because it doesn't trigger change until field loses focus.
	//$('#filter').on('keydown', function(event){if(event.which == 13) $(this).change()})
	
	$('#filter').on("mouseup", function(){setTimeout(filter, 50)}) // Wait for IE10 to clear input.
})