tophf f4bfeea5a6 intermediate tweaks and fixes for inline search ... * caching of search results and downloaded style info for one day * no prefetching of styles * only the next search results page is prefetched in unattended fashion * the "configure" button is shown only after installation * join the code in one closure, regroup and simplify some functions		2017-12-11 05:21:23 +03:00
..
hotkeys.js	reduce DOM thrashing in adjustInfoPosition	2017-12-10 10:29:04 +03:00
popup.css	basic tweaks/fixes for inline search	2017-12-10 04:03:04 +03:00
popup.js	fixup 0a865318: preserve normal behavior on normal links	2017-12-10 10:49:34 +03:00
search-results.css	intermediate tweaks and fixes for inline search	2017-12-11 05:21:23 +03:00
search-results.js	intermediate tweaks and fixes for inline search	2017-12-11 05:21:23 +03:00