mirror of
				https://github.com/simon987/sist2.git
				synced 2025-11-04 01:36:51 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			74 lines
		
	
	
		
			3.0 KiB
		
	
	
	
		
			HTML
		
	
	
	
	
	
			
		
		
	
	
			74 lines
		
	
	
		
			3.0 KiB
		
	
	
	
		
			HTML
		
	
	
	
	
	
<!DOCTYPE html>
 | 
						|
<html lang="en">
 | 
						|
<head>
 | 
						|
    <meta charset="utf-8">
 | 
						|
    <title>sist2 - Search</title>
 | 
						|
    <meta name='viewport' content='width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no'/>
 | 
						|
 | 
						|
    <link href="css" rel="stylesheet" type="text/css">
 | 
						|
</head>
 | 
						|
<body>
 | 
						|
 | 
						|
<nav class="navbar navbar-expand-lg">
 | 
						|
    <a class="navbar-brand" href="/">sist2</a>
 | 
						|
    <span class="badge badge-pill version">v1.1.10</span>
 | 
						|
    <span class="tagline">Lightning-fast file system indexer and search tool </span>
 | 
						|
    <a style="margin-left: auto" id="theme" class="btn" title="Toggle theme" href="/">Theme</a>
 | 
						|
</nav>
 | 
						|
 | 
						|
<div class="container">
 | 
						|
    <div class="card">
 | 
						|
        <div class="card-body">
 | 
						|
            <div class="form-group">
 | 
						|
                <input id="pathBar" type="search" class="form-control" placeholder="Filter path">
 | 
						|
            </div>
 | 
						|
            <div class="input-group">
 | 
						|
                <div class="input-group-prepend">
 | 
						|
                    <div class="input-group-text">
 | 
						|
                        <span title="Toggle fuzzy searching"  onclick="document.getElementById('fuzzyToggle').click()">Fuzzy </span>
 | 
						|
                        <input title="Toggle fuzzy searching" type="checkbox" id="fuzzyToggle"
 | 
						|
                               onclick="toggleFuzzy()" checked>
 | 
						|
                    </div>
 | 
						|
                </div>
 | 
						|
                <input id="searchBar" type="search" class="form-control" placeholder="Search">
 | 
						|
 | 
						|
            </div>
 | 
						|
 | 
						|
            <input title="File size" id="sizeSlider" name="size">
 | 
						|
 | 
						|
            <div class="row">
 | 
						|
                <div class="col">
 | 
						|
                    <label for="indices">Search in indices</label>
 | 
						|
                    <select class="custom-select" id="indices" multiple size="6"></select>
 | 
						|
                </div>
 | 
						|
 | 
						|
                <div class="col" id="treeTabs">
 | 
						|
                    <ul class="nav nav-tabs" role="tablist">
 | 
						|
                        <li class="nav-item">
 | 
						|
                            <a class="nav-link active" data-toggle="tab" href="#mime" role="tab" aria-controls="home" aria-selected="true">Mime Types</a>
 | 
						|
                        </li>
 | 
						|
                        <li class="nav-item">
 | 
						|
                            <a class="nav-link" data-toggle="tab" href="#tag" role="tab" aria-controls="profile" aria-selected="false" title="User-defined tags">Tags</a>
 | 
						|
                        </li>
 | 
						|
                    </ul>
 | 
						|
                    <div class="tab-content" id="myTabContent">
 | 
						|
                        <div class="tab-pane fade show active" id="mime" role="tabpanel" aria-labelledby="home-tab">
 | 
						|
                            <div id="mimeTree" class="tree"></div>
 | 
						|
                        </div>
 | 
						|
                        <div class="tab-pane fade" id="tag" role="tabpanel" aria-labelledby="profile-tab">
 | 
						|
                            <div id="tagTree" class="tree"></div>
 | 
						|
                        </div>
 | 
						|
                    </div>
 | 
						|
                </div>
 | 
						|
 | 
						|
            </div>
 | 
						|
        </div>
 | 
						|
    </div>
 | 
						|
 | 
						|
    <div id="searchResults"></div>
 | 
						|
</div>
 | 
						|
 | 
						|
<script src="js" type="text/javascript"></script>
 | 
						|
</body>
 | 
						|
</html>
 |