╭ changed ────────────╮ │src/ui/Repo/Files.zig│ ╰─────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────╮ │← previous│ ╰──────────╯ ╭─────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │ 922 - pub fn focusCloneUrl(self: *Header.View, root_focus: *Focus) bool { │ │1070 + // navigate to the typed term's results, pinned to the listing's ref. an │ │1071 + // empty term leaves the results for the plain listing. │ │1072 + fn submit(self: *Header.View, allocator: std.mem.Allocator, text_input: *wgt.TextInput) !void {│ │1073 + const term = try text_input.text(allocator); │ │1074 + defer allocator.free(term); │ │1075 + if (term.len == 0 and self.data.find == null) return; │ │1076 + const route = self.data.filesRoute("", 0) orelse return; │ │1077 + try self.session.navigate(route.withFind(term) orelse return); │ │1078 + } │ │1079 + │ │1080 + // enter the header, preferring the search box. │ │1081 + pub fn focusHeader(self: *Header.View, root_focus: *Focus) bool { │ │1082 + if (self.findInput()) |text_input| { │ │1083 + root_focus.setFocus(text_input.getFocus().id); │ │1084 + return true; │ │1085 + } │ │1086 const clone_url = self.cloneUrl() orelse return false; │ │1087 root_focus.setFocus(clone_url.getFocus().id); │ │1088 return true; │ ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────────────────────────╮ │1089 } │ │1090 │ │ 928 - pub fn hasCloneUrl(self: *Header.View) bool { │ │ 929 - return self.cloneUrl() != null; │ │1091 + pub fn hasHeaderFocus(self: *Header.View) bool { │ │1092 + return self.cloneUrl() != null or self.findInput() != null;│ │1093 } │ │1094 │ │1095 fn cloneUrl(self: *Header.View) ?*ui.widget.CopyableText { │ ╰─────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────╮ │1096 for (self.box.children.values()) |*child| switch (child.widget) {│ │1097 .copyable_text => |*copyable_text| return copyable_text, │ │1098 + else => {}, │ │1099 + }; │ │1100 + return null; │ │1101 + } │ │1102 + │ │1103 + fn findInput(self: *Header.View) ?*wgt.TextInput { │ │1104 + for (self.box.children.values()) |*child| switch (child.widget) {│ │1105 + .text_input => |*text_input| return text_input, │ │1106 else => {}, │ │1107 }; │ │1108 return null; │ ╰───────────────────────────────────────────────────────────────────────────────────╯