╭ changed ────────────╮ │src/ui/Repo/Files.zig│ ╰─────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │699 // only files have contents to show; directories and the ".." row leave │ │700 // the pane empty. │ │701 var markdown = false; │ │702 + self.detailScrollFrame().options.top_label.text = ""; │ │703 if (self.selectedEntry()) |entry| { │ │704 if (!entry.is_dir) { │ │705 const path = try childDir(self.session.page_arena.allocator(), self.data.dir, entry.name);│ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │706 + // the frame around the contents is labeled with the file's name │ │707 + self.detailScrollFrame().options.top_label.text = try self.session.page_arena.allocator().print(" {s} ", .{entry.name});│ │708 // with the list hidden beside it, the detail leads with the way │ │709 // back. an in-page link to this very page, so both hosts hand │ │710 // its press and enter to detailInput instead of navigating. │ ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯