From e646d5170c7c1b651449966a53d0a955779d3f98 Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Mon, 5 Sep 2022 10:54:45 +0200
Subject: fix(corp/tvixbolt): make label really clickable

It looks like this was intended, but typoed.

Change-Id: I830d6f0488b75b859bcf4175531c35d79cd40985
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6335
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
---
 corp/tvixbolt/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/corp/tvixbolt/src/main.rs b/corp/tvixbolt/src/main.rs
index 2d001dde8003..c359eaed636b 100644
--- a/corp/tvixbolt/src/main.rs
+++ b/corp/tvixbolt/src/main.rs
@@ -114,7 +114,7 @@ impl Component for Model {
                     <div class="form-group">
                       <label for="trace-runtime">{"Trace runtime:"}</label>
                       <input
-                       for="trace-runtime" type="checkbox" checked={self.trace}
+                       id="trace-runtime" type="checkbox" checked={self.trace}
                        onchange={link.callback(|e: Event| {
                            let trace = e.target_unchecked_into::<HtmlInputElement>().checked();
                            Msg::ToggleTrace(trace)
-- 
cgit 1.4.1