Apply filter after changing the filter input element
authorJoey Schulze <joey@infodrom.org>
Mon, 21 Sep 2015 10:33:47 +0000 (12:33 +0200)
committerJoey Schulze <joey@infodrom.org>
Mon, 21 Sep 2015 10:33:47 +0000 (12:33 +0200)
commit362d472f564ecff06f5d5c36c6fbbfbe06ed3870
tree51da481c0858683829683be9a6e5850818598955
parent5e03d49fc08826ed83558cf1418e2925355985c9
Apply filter after changing the filter input element

This improves usability when using the mouse for pasting
minsrc/ricoLiveGrid.js