From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 25 Sep 2022 20:58:34 +0000 (-0700)
Subject: help.html: whoops, typo
X-Git-Tag: 0.99~1066
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=4757b17d1b461c673ca493a87325c700e03b4fb7

help.html: whoops, typo
---

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()