mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-06-28 07:44:18 +08:00
web: Add link to file search
This commit is contained in:
parent
25c5c7f4c8
commit
038ba28147
@ -11,7 +11,11 @@
|
||||
<body>
|
||||
<div class="container">
|
||||
<h1 class="category-title">Package File Browser</h1>
|
||||
|
||||
<noscript>
|
||||
<div class="card">
|
||||
This page requires Javascript to work. <a href="index.html">Back to index page</a>
|
||||
</div>
|
||||
</noscript>
|
||||
<div class="card">
|
||||
<input type="text" id="searchInput" class="search-box" placeholder="Type file or directory name" title="Uses string.startsWith() matching" autocomplete="off">
|
||||
|
||||
@ -65,11 +69,11 @@
|
||||
*/
|
||||
|
||||
/**
|
||||
* @param {DB} node
|
||||
* @param {string} query
|
||||
* @param {boolean} parentMatched
|
||||
* @returns {DB|null}
|
||||
*/
|
||||
* @param {DB} node
|
||||
* @param {string} query
|
||||
* @param {boolean} parentMatched
|
||||
* @returns {DB|null}
|
||||
*/
|
||||
function filterDb(node, query, parentMatched = false) {
|
||||
/** @type {DB} */
|
||||
let result = {};
|
||||
|
||||
@ -260,6 +260,7 @@ pub fn generate_html_index(
|
||||
<header class="index-header">
|
||||
<h1>Redox OS Package Repository</h1>
|
||||
<p class="description">Repository for <code>{target}</code></p>
|
||||
<p><a href="files.html">Search files in this Repository</a></p>
|
||||
</header>
|
||||
|
||||
<main class="index-content container">
|
||||
|
||||
@ -11,6 +11,10 @@ body {
|
||||
line-height: 1.6;
|
||||
}
|
||||
|
||||
p {
|
||||
margin: 0.5em 0;
|
||||
}
|
||||
|
||||
.container {
|
||||
max-width: 1280px;
|
||||
margin: 0 auto;
|
||||
|
||||
Loading…
Reference in New Issue
Block a user