From 80a7ad674884ee5ad12f2b54625705f1122d0286 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Sun, 2 Mar 2025 17:39:58 +0800
Subject: [PATCH] =?UTF-8?q?=E5=A2=9E=E5=8A=A0=E4=B8=80=E4=B8=AA=E7=AD=9B?=
 =?UTF-8?q?=E9=80=89=E5=99=A8?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/demoset.php | 103 +++++++++++++++++++++++++++++++-----------------
 1 file changed, 67 insertions(+), 36 deletions(-)

diff --git a/web/demoset.php b/web/demoset.php
index 7bb3ce8..9e8bc0d 100644
--- a/web/demoset.php
+++ b/web/demoset.php
@@ -1,57 +1,88 @@
-<?php require_once("./include/db_info.inc.php");?>
+<?php require_once("./include/db_info.inc.php"); ?>
 
 <?php $show_title = "$MSG_PROBLEMS - $OJ_NAME"; ?>
 <?php include("template/$OJ_TEMPLATE/header.php"); ?>
 <div class="padding">
 
-<script type="text/javascript" src="include/react/react.min.js"></script>
-<script type="text/javascript" src="include/react/react-dom.min.js"></script>
+  <script type="text/javascript" src="include/react/react.min.js"></script>
+  <script type="text/javascript" src="include/react/react-dom.min.js"></script>
 
-<?php
-// 遍历demos文件夹下的所有php文件
-$directory = new DirectoryIterator(dirname(__FILE__) . '/demos');
-$files = [];
+  <?php
+  // 遍历demos文件夹下的所有php文件
+  $directory = new DirectoryIterator(dirname(__FILE__) . '/demos');
+  $files = [];
 
-foreach ($directory as $fileinfo) {
-  if ($fileinfo->isFile() && $fileinfo->getExtension() == 'html') {
-    $files[] = $fileinfo->getFilename();
+  foreach ($directory as $fileinfo) {
+    if ($fileinfo->isFile() && $fileinfo->getExtension() == 'html') {
+      $files[] = $fileinfo->getFilename();
+    }
   }
-}
-?>
-<div class="container"></div>
+  sort($files);
+  ?>
+  <div class="container"></div>
   <div class="row">
-    <div class="col-md-3">
-      <ul class="list-group">
+    <div class="col-md-2">
+      <div id="search-container"></div>
+      <ul class="list-group" id="file-list">
         <?php foreach ($files as $file): ?>
           <li class="list-group-item">
-            <a href="demoset.php?demo=<?php echo $file; ?>"><?php echo $file; ?></a>
+            <a href="demoset.php?demo=<?php echo $file; ?>"><?php echo pathinfo($file, PATHINFO_FILENAME); ?></a>
           </li>
         <?php endforeach; ?>
       </ul>
+      <script type="text/javascript">
+        class Search extends React.Component {
+          constructor(props) {
+            super(props);
+            this.state = { query: '' };
+          }
+
+          handleChange = (event) => {
+            this.setState({ query: event.target.value }, () => {
+              this.filterList();
+            });
+          };
+
+          filterList = () => {
+            const query = this.state.query.toLowerCase();
+            const items = document.querySelectorAll('#file-list .list-group-item');
+            items.forEach((item) => {
+              const text = item.textContent.toLowerCase();
+              item.style.display = text.includes(query) ? '' : 'none';
+            });
+          };
+
+          render() {
+            return (
+              <input
+                type="text"
+                className="form-control"
+                placeholder="Search..."
+                value={this.state.query}
+                onChange={this.handleChange}
+              />
+            );
+          }
+        }
+
+        ReactDOM.render(<Search />, document.getElementById('search-container'));
+      </script>
     </div>
-    <div class="col-md-9">
+    <div class="col-md-10">
       <div id="content">
-        <?php
-        if (isset($_GET['demo']) && in_array($_GET['demo'], $files)) {
-          $demoFile = $_GET['demo'];
-          $demoContent = file_get_contents(dirname(__FILE__) . '/demos/' . $demoFile);
-          echo $demoContent;
-        } 
-        ?>
+        <div style="border: 1px solid #ccc; padding: 10px;">
+          <?php
+          if (isset($_GET['demo']) && in_array($_GET['demo'], $files)) {
+            $demoFile = $_GET['demo'];
+            $demoContent = file_get_contents(dirname(__FILE__) . '/demos/' . $demoFile);
+            echo $demoContent;
+          }
+          ?>
+        </div>
       </div>
     </div>
   </div>
 </div>
 
-<script>
-function loadContent(file) {
-  fetch('demos/' + file)
-    .then(response => response.text())
-    .then(data => {
-      document.getElementById('content').innerHTML = data;
-    });
-}
-</script>
-
-  </div>
-  <?php include("template/$OJ_TEMPLATE/footer.php"); ?>
\ No newline at end of file
+</div>
+<?php include("template/$OJ_TEMPLATE/footer.php"); ?>
\ No newline at end of file