RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
Code Releases Activity

Merge pull request #14411 from kfessel/patch-doxygen-search

Browse Source 
doc/header: make hitting return not reload the page
This commit is contained in:
Martine Lenders 2020-07-01 20:58:57 +02:00 committed by GitHub
commit 315ac305f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/doxygen/header.html
View File

@ -51,7 +51,7 @@
<p class="navbar-text navbar-left"><span id="projectbrief">$projectbrief</span></p>
<ul id="riot-navlist" class="nav navbar-nav"></ul>
<!--BEGIN SEARCHENGINE-->
<form id="riot-searchform" class="navbar-form navbar-left navbar-right hidden-sm hidden-xs">
<form id="riot-searchform" class="navbar-form navbar-left navbar-right hidden-sm hidden-xs" onsubmit="return false">
<div class="form-group">
<div id="MSearchBox" class="MSearchBoxActive">
<div class="input-group">