╭ changed ────────────╮ │src/ui/Repo/Files.zig│ ╰─────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────╮ │← previous│ ╰──────────╯ ╭───────────────────────────────────────────────────────────────────╮ │895 - return self.header().focusHeader(root_focus); │ │907 + const header_view = self.header() orelse return false;│ │908 + return header_view.focusHeader(root_focus); │ │909 } │ │910 }; │ │911 │ ╰───────────────────────────────────────────────────────────────────╯