From: Joey Schulze <joey@infodrom.org>
Date: Mon, 21 Sep 2015 10:33:47 +0000 (+0200)
Subject: Apply filter after changing the filter input element
X-Git-Url: https://git.infodrom.org/?p=infodrom%2Frico3;a=commitdiff_plain;h=362d472f564ecff06f5d5c36c6fbbfbe06ed3870;hp=362d472f564ecff06f5d5c36c6fbbfbe06ed3870

Apply filter after changing the filter input element

This improves usability when using the mouse for pasting
---