X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=blobdiff_plain;f=basis%2Fhelp%2Fhtml%2Fhtml.factor;h=77d75e9aa73430cd5da5266e36d9a7e80ce6c5ec;hp=fd258fe2d696ce2539205a380511b4dbd9ca497a;hb=4757b17d1b461c673ca493a87325c700e03b4fb7;hpb=116a149a258626bc44c052ec7ff10620568c51a0

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index fd258fe2d6..77d75e9aa7 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -98,7 +98,7 @@ M: pathname url-of
             if (event.code == 'Slash') {
                 let input = document.getElementById('search');
                 if (input != null) {
-                    if input !== document.activeElement) {
+                    if (input !== document.activeElement) {
                         event.preventDefault();
                         setTimeout(function() {
                             input.focus().select()