Skip to content

Commit f332ec0

Browse files
imsnifimsnif
committed
HOTFIX: bring back search to docs
1 parent 960d15a commit f332ec0

File tree

94 files changed

+2159
-1004
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

94 files changed

+2159
-1004
lines changed

‎static/documentation/404.html

+18-2
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88

99

1010
<!-- Custom HTML head -->
11-
11+
1212
<meta name="description" content="">
1313
<meta name="viewport" content="width=device-width, initial-scale=1">
1414
<meta name="theme-color" content="#ffffff">
@@ -100,7 +100,7 @@
100100
<div id="page-wrapper" class="page-wrapper">
101101

102102
<div class="page">
103-
<div id="menu-bar-hover-placeholder"></div>
103+
<div id="menu-bar-hover-placeholder"></div>
104104
<div id="menu-bar" class="menu-bar sticky">
105105
<div class="left-buttons">
106106
<label id="sidebar-toggle" class="icon-button" for="sidebar-toggle-anchor" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -116,6 +116,9 @@
116116
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
117117
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
118118
</ul>
119+
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
120+
<i class="fa fa-search"></i>
121+
</button>
119122
</div>
120123

121124
<h1 class="menu-title">Zellij User Guide</h1>
@@ -128,6 +131,16 @@ <h1 class="menu-title">Zellij User Guide</h1>
128131
</div>
129132
</div>
130133

134+
<div id="search-wrapper" class="hidden">
135+
<form id="searchbar-outer" class="searchbar-outer">
136+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
137+
</form>
138+
<div id="searchresults-outer" class="searchresults-outer hidden">
139+
<div id="searchresults-header" class="searchresults-header"></div>
140+
<ul id="searchresults">
141+
</ul>
142+
</div>
143+
</div>
131144

132145
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
133146
<script>
@@ -168,6 +181,9 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
168181
</script>
169182

170183

184+
<script src="elasticlunr.min.js"></script>
185+
<script src="mark.min.js"></script>
186+
<script src="searcher.js"></script>
171187

172188
<script src="clipboard.min.js"></script>
173189
<script src="highlight.js"></script>

‎static/documentation/book.js

+9-4
Original file line numberDiff line numberDiff line change
@@ -449,7 +449,6 @@ function playground_text(playground, hidden = true) {
449449
var sidebar = document.getElementById("sidebar");
450450
var sidebarLinks = document.querySelectorAll('#sidebar a');
451451
var sidebarToggleButton = document.getElementById("sidebar-toggle");
452-
var sidebarToggleAnchor = document.getElementById("sidebar-toggle-anchor");
453452
var sidebarResizeHandle = document.getElementById("sidebar-resize-handle");
454453
var firstContact = null;
455454

@@ -476,16 +475,22 @@ function playground_text(playground, hidden = true) {
476475
}
477476

478477
// Toggle sidebar
479-
sidebarToggleAnchor.addEventListener('change', function sidebarToggle() {
480-
if (sidebarToggleAnchor.checked) {
478+
sidebarToggleButton.addEventListener('click', function sidebarToggle() {
479+
if (body.classList.contains("sidebar-hidden")) {
481480
var current_width = parseInt(
482481
document.documentElement.style.getPropertyValue('--sidebar-width'), 10);
483482
if (current_width < 150) {
484483
document.documentElement.style.setProperty('--sidebar-width', '150px');
485484
}
486485
showSidebar();
487-
} else {
486+
} else if (body.classList.contains("sidebar-visible")) {
488487
hideSidebar();
488+
} else {
489+
if (getComputedStyle(sidebar)['transform'] === 'none') {
490+
hideSidebar();
491+
} else {
492+
showSidebar();
493+
}
489494
}
490495
});
491496

‎static/documentation/changing-modifiers.html

+18-2
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77

88

99
<!-- Custom HTML head -->
10-
10+
1111
<meta name="description" content="">
1212
<meta name="viewport" content="width=device-width, initial-scale=1">
1313
<meta name="theme-color" content="#ffffff">
@@ -99,7 +99,7 @@
9999
<div id="page-wrapper" class="page-wrapper">
100100

101101
<div class="page">
102-
<div id="menu-bar-hover-placeholder"></div>
102+
<div id="menu-bar-hover-placeholder"></div>
103103
<div id="menu-bar" class="menu-bar sticky">
104104
<div class="left-buttons">
105105
<label id="sidebar-toggle" class="icon-button" for="sidebar-toggle-anchor" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -115,6 +115,9 @@
115115
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
116116
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
117117
</ul>
118+
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
119+
<i class="fa fa-search"></i>
120+
</button>
118121
</div>
119122

120123
<h1 class="menu-title">Zellij User Guide</h1>
@@ -127,6 +130,16 @@ <h1 class="menu-title">Zellij User Guide</h1>
127130
</div>
128131
</div>
129132

133+
<div id="search-wrapper" class="hidden">
134+
<form id="searchbar-outer" class="searchbar-outer">
135+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
136+
</form>
137+
<div id="searchresults-outer" class="searchresults-outer hidden">
138+
<div id="searchresults-header" class="searchresults-header"></div>
139+
<ul id="searchresults">
140+
</ul>
141+
</div>
142+
</div>
130143

131144
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
132145
<script>
@@ -193,6 +206,9 @@ <h2 id="a-note-about-multiple-modifiers"><a class="header" href="#a-note-about-m
193206
</script>
194207

195208

209+
<script src="elasticlunr.min.js"></script>
210+
<script src="mark.min.js"></script>
211+
<script src="searcher.js"></script>
196212

197213
<script src="clipboard.min.js"></script>
198214
<script src="highlight.js"></script>

‎static/documentation/cli-actions.html

+18-2
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77

88

99
<!-- Custom HTML head -->
10-
10+
1111
<meta name="description" content="">
1212
<meta name="viewport" content="width=device-width, initial-scale=1">
1313
<meta name="theme-color" content="#ffffff">
@@ -99,7 +99,7 @@
9999
<div id="page-wrapper" class="page-wrapper">
100100

101101
<div class="page">
102-
<div id="menu-bar-hover-placeholder"></div>
102+
<div id="menu-bar-hover-placeholder"></div>
103103
<div id="menu-bar" class="menu-bar sticky">
104104
<div class="left-buttons">
105105
<label id="sidebar-toggle" class="icon-button" for="sidebar-toggle-anchor" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -115,6 +115,9 @@
115115
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
116116
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
117117
</ul>
118+
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
119+
<i class="fa fa-search"></i>
120+
</button>
118121
</div>
119122

120123
<h1 class="menu-title">Zellij User Guide</h1>
@@ -127,6 +130,16 @@ <h1 class="menu-title">Zellij User Guide</h1>
127130
</div>
128131
</div>
129132

133+
<div id="search-wrapper" class="hidden">
134+
<form id="searchbar-outer" class="searchbar-outer">
135+
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
136+
</form>
137+
<div id="searchresults-outer" class="searchresults-outer hidden">
138+
<div id="searchresults-header" class="searchresults-header"></div>
139+
<ul id="searchresults">
140+
</ul>
141+
</div>
142+
</div>
130143

131144
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
132145
<script>
@@ -470,6 +483,9 @@ <h4 id="change-floating-pane-coordinates"><a class="header" href="#change-floati
470483
</script>
471484

472485

486+
<script src="elasticlunr.min.js"></script>
487+
<script src="mark.min.js"></script>
488+
<script src="searcher.js"></script>
473489

474490
<script src="clipboard.min.js"></script>
475491
<script src="highlight.js"></script>

0 commit comments

Comments
 (0)