diff options
| author | Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org> | 2018-01-30 13:27:55 +0200 |
|---|---|---|
| committer | Jan Holesovsky <kendy@collabora.com> | 2018-08-07 17:51:08 +0200 |
| commit | 7171609700498ad66f731b1765c967153c0994fb (patch) | |
| tree | 5b9ba4c92bbd98fa94f1939ce5b7d15bd1ed1728 /CustomTarget_html.mk | |
| parent | 93a690382989c3db82a19dce61b1c5a658e0b680 (diff) | |
Switched from list.js to fuse.js and paginathing.js
Fuse.js has Apache License 2.0 and paginathing.js has
Expat License (aka MIT).
Paginathing is a paginating utility and it was originally jQuery,
but due to performance concerns I converted it to pure JavaScript
and rather brutally adapted it to our needs.
Fuse.js gives us fuzzy search with multiple strings. The settings
can be refined, if needed. Settings can be easily tested with the
live demo: http://fusejs.io/
Change-Id: I1cf6a6f7d06adbcac95760db90187ee26be8e908
Reviewed-on: https://gerrit.libreoffice.org/48906
Reviewed-by: Olivier Hallot <olivier.hallot@libreoffice.org>
Tested-by: Olivier Hallot <olivier.hallot@libreoffice.org>
Diffstat (limited to 'CustomTarget_html.mk')
| -rw-r--r-- | CustomTarget_html.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CustomTarget_html.mk b/CustomTarget_html.mk index 479eab889b..e39c8384eb 100644 --- a/CustomTarget_html.mk +++ b/CustomTarget_html.mk @@ -114,7 +114,7 @@ $(call gb_CustomTarget_get_workdir,helpcontent2/help3xsl)/%/bookmarks.js : $(call gb_Output_announce,$(subst $(WORKDIR)/,,$@),$(true),CAT,2) $(call gb_Helper_abbreviate_dirs,\ ( \ - echo 'document.getElementById("Bookmarks").getElementsByClassName( "list" )[0].innerHTML='"'"'\' \ + echo 'document.getElementsByClassName( "list" )[0].innerHTML='"'"'\' \ && cat $(filter %.part,$^) \ && echo "'" \ ) > $@ \ |