diff options
| author | Raf Geens <raf@odoo.com> | 2020-08-25 08:33:56 +0000 |
|---|---|---|
| committer | Raf Geens <raf@odoo.com> | 2020-09-22 11:16:03 +0000 |
| commit | 75aa12ba75424d714302a7da866ef2127910775a (patch) | |
| tree | 0b0d954af015afa7426389c24665070704eca7e1 /addons/web/static/src/js/fields/basic_fields.js | |
| parent | 5ca6eca4677850f4816150251a6f17df1b49a37a (diff) | |
[ADD] doc: port the searchbar from user to dev docs
The developer documentation already has a search functionality via Sphinx if
you use the right URL, but it was not exposed in the frontend. This commit ports
the search bar from the user documentation.
Original commits: 17fc4219bd24e8993fc5ab3c00d9979f87a45e84 (rim) and
52e49eda472963e929ec7b004eae20c514364403 (kts) from
https://github.com/odoo/documentation-user/
closes odoo/odoo#58209
X-original-commit: b38059caf59a3fbd67989d89317cfdc9f3be35a3
Signed-off-by: Richard Mathot (rim) <rim@openerp.com>
Diffstat (limited to 'addons/web/static/src/js/fields/basic_fields.js')
0 files changed, 0 insertions, 0 deletions