We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 173e0c9 commit 1170855Copy full SHA for 1170855
bin/dasht-server-http
@@ -181,8 +181,9 @@ cat <<HEADER
181
<select name="docsets">
182
<option value="" selected>matched $1 out of $3</option>
183
$(echo "$docsets_menu" | awk -v were_any_ignored=$2 '{
184
- value = "^" $2 "$"
185
label = were_any_ignored && $1 ? "((( " $2 " )))" : $2
+ regex = $2; gsub("[[:punct:]]", "\\\\&", regex)
186
+ value = "^" regex "$"
187
print "<option value=\"" value "\">" label "</option>"
188
}')
189
</select>
0 commit comments