From f09064c40c4cb607d2fb981c09c0b15d18a574f9 Mon Sep 17 00:00:00 2001
From: Karl Fessel <karl.fessel@ovgu.de>
Date: Wed, 1 Jul 2020 12:58:05 +0200
Subject: [PATCH] doc/header: make hitting return not reload the page

adding onsubmit="return false" stops form submition which leads to reload
---
 doc/doxygen/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/doxygen/header.html b/doc/doxygen/header.html
index becbd99ca3..e262834d66 100644
--- a/doc/doxygen/header.html
+++ b/doc/doxygen/header.html
@@ -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">