2 Commits

Author	SHA1	Message	Date
Martin Kleusberg	93cdbd0f80	Filters: Add settings option for the delay time ... Introduce a new option in the Preferences dialog for setting the delay time which the filter widgets are waiting for before applying the newly set value. Also reduce the default delay time from 300 to 200 ms. See issue #490.	2016-01-27 22:24:16 +01:00
Martin Kleusberg	71b7806f03	Delay applying a changed filter value ... When changing a filter value delay the application of the new value on the table for a couple of milliseconds. This makes the filter process much smoother for fast typing users working on large tables. See issue #415.	2015-10-15 11:42:59 +02:00