[riot-commits] [RIOT-OS/RIOT] 5e757b: doc/search: Patch search to display results bigger...

Martine Lenders noreply at github.com
Sat Jul 4 18:23:09 CEST 2020


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 5e757b1a9c7169cd68d80591427289e672547457
      https://github.com/RIOT-OS/RIOT/commit/5e757b1a9c7169cd68d80591427289e672547457
  Author: Karl Fessel <karl.fessel at ovgu.de>
  Date:   2020-07-03 (Fri, 03 Jul 2020)

  Changed paths:
    M doc/doxygen/header.html

  Log Message:
  -----------
  doc/search: Patch search to display results bigger if hitting return


  Commit: e91dc1530409db7bacfc9b5e88ef223735749c51
      https://github.com/RIOT-OS/RIOT/commit/e91dc1530409db7bacfc9b5e88ef223735749c51
  Author: Karl Fessel <karl.fessel at ovgu.de>
  Date:   2020-07-04 (Sat, 04 Jul 2020)

  Changed paths:
    M doc/doxygen/header.html
    M doc/doxygen/src/js/menu.js

  Log Message:
  -----------
  doc/search: do not hide search on mobile and make it work

move and resize results if they are not within the document-window

modify the search result display with some javascript patching
    (in page grease(tamper)monkey approach)


  Commit: 70c7093d01776b5d1fff43d0e6e24ca7866a1b96
      https://github.com/RIOT-OS/RIOT/commit/70c7093d01776b5d1fff43d0e6e24ca7866a1b96
  Author: Martine Lenders <m.lenders at fu-berlin.de>
  Date:   2020-07-04 (Sat, 04 Jul 2020)

  Changed paths:
    M doc/doxygen/header.html
    M doc/doxygen/src/js/menu.js

  Log Message:
  -----------
  Merge pull request #14412 from kfessel/patch-doxygen-search2

doc/search: Patch search to display results bigger if hitting return and work on mobil


Compare: https://github.com/RIOT-OS/RIOT/compare/93c508451df9...70c7093d0177


More information about the commits mailing list