╭ changed ────────╮ │src/ui/widget.zig│ ╰─────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────╮ │736 } │ │737 }; │ │738 │ │739 -// a submit button, indented past its form's content. the web overlay POSTs│ │739 +// a submit button, indented past its form's content. the web form POSTs │ │740 // the button's form; terminal hosts detect presses through `buttonId`. │ │741 pub const SubmitButton = struct { │ │742 box: wgt.Box(Widget), │ ╰────────────────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────╮ │1329 const aa = self.session.arena.allocator(); │ │1330 const id = self.textInput().getFocus().id; │ │1331 try self.session.text_inputs.put(aa, id, self.textInput()); │ │1332 - try self.session.input_values.put(aa, id, self.choices[self.selected].text);│ │1332 } │ │1333 } │ │1334 │ ╰──────────────────────────────────────────────────────────────────────────────────────────────╯