docs: fix broken link "search bar"

This commit is contained in:
Michael Howell 2023-01-04 12:47:24 -07:00
parent b7cdb635c4
commit 854082c218

View File

@ -14,7 +14,7 @@
//! # How to read this documentation //! # How to read this documentation
//! //!
//! If you already know the name of what you are looking for, the fastest way to //! If you already know the name of what you are looking for, the fastest way to
//! find it is to use the <a href="#" onclick="focusSearchBar();">search //! find it is to use the <a href="#" onclick="window.searchState.focus();">search
//! bar</a> at the top of the page. //! bar</a> at the top of the page.
//! //!
//! Otherwise, you may want to jump to one of these useful sections: //! Otherwise, you may want to jump to one of these useful sections: