| Age | Commit message (Collapse) | Author | 
|---|
|  |  | 
|  |  | 
|  |  | 
|  | modifying an argument. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | We can choose a simpler implementation in the near future. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | (no css manupulation of the target element)
Conflicts:
	lib/domUtils.js | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | This has the following advantages:
* searching is done in the background, UI responsiveness is improved
* caches are no longer duplicated. This saves RAM and improves performance | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | This enables to set threshold to 0 for tabs (so that tabs are shown before typing). | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  |