diff options
| author |  Gehad elrobey <gehadelrobey@gmail.com> | 2014-10-31 02:50:17 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2014-11-01 22:03:01 -0700 |
| commit | e3be473a7fc82bd99d2a76e9294e564b0f5eea82 (patch) | |
| tree | 8b5f2b1a92867c373737b6530041dd5cc45a1f5d /theme/list_lib.js | |
| parent | 4e9aff047e1c28899a9dd41fec3e60bb77a0527e (diff) | |
| download | subsurface-e3be473a7fc82bd99d2a76e9294e564b0f5eea82.tar.gz | |
Fix inconsistent search result in HTML export
The advanced search drop down menu always showed the user selected
settings, even if this is a customized search (tag, location) that took
place by clicking on the search quick hyperlink.
This is fixed by saving the user default search preferences and changing
them temporarily when quick hyperlinks searching is used.
Fixes #723
Signed-off-by: Gehad elrobey <gehadelrobey@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme/list_lib.js')
| -rw-r--r-- | theme/list_lib.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theme/list_lib.js b/theme/list_lib.js index b2dc13b8c..e50fc3912 100644 --- a/theme/list_lib.js +++ b/theme/list_lib.js @@ -516,6 +516,7 @@ function Node(value) function Search_list_Modules(searchfor, searchOptions) { document.getElementById("search_input").value = searchfor; + set_search_dropdown(searchOptions); SearchModules(searchfor, searchOptions); } @@ -531,6 +532,7 @@ function SearchModules(searchfor, searchOptions) itemsToShow = olditemstoshow; list_sort(sort_based_on); viewInPage(); + set_search_dropdown(user_search_preference); return; } |