jsduck
jsduck copied to clipboard
UI Template: Fix input in search and filter
Hi.
Thanks for the contribution. But could you be so kind and describe briefly the bug that this pull request is supposed to fix.
I could go through the commits and figure it out by myself, but I think it should be your responsibility to convince me about the usefulness of this patch.
Right, sorry.
-
Filteris noticeably slow (e.g. on laptops in battery saving mode or when OS is overloaded) thus it's a good idea to buffer input a bit and don't do filtering right from the first character btw,Searchis deferred bybasicSearchDelay -
both
FilterandSearch: input by context menu (mouse right click) when pasting text via mouse + context menu nothing happens (jsDuck in ExtJS 5.1):

non changing behavior patch https://github.com/olecom/jsduck/commit/9eb91e2d0226d5e78e7fa35b3d9962ac21f89efd allows isolated implementation of the fix in https://github.com/olecom/jsduck/commit/1a9be9d4cd4edf51fcb3e7b12a386b6e863acc02
- get rid of blind use of optimization killer
arguments(can be skipped)