|
From: | Svetlana Tkachenko |
Subject: | [savannah-help-public] [sr #109451] Add search box to Savannah wiki |
Date: | Sat, 20 Jan 2018 23:09:06 -0500 (EST) |
User-agent: | Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/42.0.2311.135 Safari/537.36 Edge/13.246 |
URL: <http://savannah.gnu.org/support/?109451> Summary: Add search box to Savannah wiki Project: Savannah Administration Submitted by: svetlana Submitted on: Sun 21 Jan 2018 04:09:05 AM UTC Category: None Priority: 5 - Normal Severity: 3 - Normal Status: None Assigned to: None Originator Email: Operating System: None Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: Would be nice to add a search box at the right top of all pages. https://savannah.gnu.org/maintenance/FrontPage/ ikiwiki has a search plugin that can use either xapian or an external search engine. Many external search engines use non-free JavaScript. Setting up xapian might be worthwhile. https://ikiwiki.info/plugins/search/ _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?109451> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |