HAXY

▀ ▄▄▄ ▀ ▀▀ ▄▀ ▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀ ▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀ ▀▀ ▀▀▀▀▀▄▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀ ▄▄ ▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀ ▀▀▀▀ ▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▀ ▀▀▀▀▀▀▀▀▀▀▄▀▄ ▄▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Repo.zig ─────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯

╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯

.. Auth/ Home/ Repo/ User/ Auth.zig AuthTab.zig Home.zig Quit.zig ╭─────────────────────────────────╮ │Repo.zig │ ╰─────────────────────────────────╯ Settings.zig SubTitle.zig Title.zig User.zig input.zig

168 const gpa = arena.child_allocator; 169 switch (src.repo_kind) { 170 inline else => |repo_kind| { 171 var any_repo = rp.AnyRepo(repo_kind, .{}).open(io, gpa, .{ .path = src.path }) catch break :read; 172 defer any_repo.deinit(io, gpa); 173 switch (any_repo) { 174 inline else => |*opened| { 175 // local mode: bring the event db up to date with the events branch 176 if (session.local != null) try evt.consume(repo_kind, opened.self_repo_opts, io, gpa, opened, evt.events_ref, &.{}); 177 break :blk .{ 178 try Files.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, repo_identity.identity, requested_ref_or_oid, requested_ref_value, files_dir, files_line), 179 try Commits.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, repo_identity.identity, requested_ref_or_oid, requested_ref_value, commits_content), 180 try Refs.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, repo_identity.identity, refs_kind, refs_from), 181 try Issues.init(repo_kind, opened.self_repo_opts, arena, opened, io, repo_identity.identity, issues_tag, issues_selected, issues_view), 182 }; 183 }, 184 } 185 }, 186 } 187 } 188 const aa = arena.allocator(); 189 break :blk .{ 190 try Files.emptyResult(aa, repo_identity.identity, requested_ref_or_oid orelse .branch, requested_ref_value, files_dir), 191 try Commits.emptyResult(aa, repo_identity.identity, requested_ref_or_oid orelse .branch, requested_ref_value, commits_content), 192 try Refs.emptyResult(arena, repo_identity.identity, refs_kind, refs_from), 193 try Issues.emptyResult(aa, repo_identity.identity, issues_tag, issues_selected, issues_view), 194 }; 195 }; 196 issues.repo_source = source; 197 198 // each tab mirror carries this page's route for that tab; tabs not targeted 199 // by the incoming route fall back to their root/first-page route. the files 200 // mirror carries the selected file (when the route named one) so the url 201 // keeps it before focus enters the view. 202 const files_path = if (files.selected_file) |f| try Files.childDir(arena.allocator(), files.dir, f) else files.dir; 203 // the content window only applies to a selected file, so the bare 204 // directory route drops it. 205 const files_route_line = if (files.selected_file != null) files_line else 0; 206 const route_name = (ui.RoutablePage.repoFilesRoute(repo_identity.identity, files.ref_or_oid, files.ref_or_oid_value, files_path, files_route_line) orelse return error.NotFound).repo_files; 207 // the message page mirrors its own url, not the log's 208 const commits_route = switch (commits.content) { 209 .message => ui.RoutablePage.repoCommitMessageRoute(repo_identity.identity, commits.ref_or_oid, commits.ref_or_oid_value), 210 .diff => |d| ui.RoutablePage.repoCommitsRoute(repo_identity.identity, commits.ref_or_oid, commits.ref_or_oid_value, commits_start, d.path), 211 }; 212 const commits_route_name = (commits_route orelse return error.NotFound).repo_commits; 213 214 return .{ 215 // files and commits resolve the same ref, so either's serves the header, 216 // which points both tabs at it. 217 .header = try Header.init(arena, repo.name, owner_name, files.ref_or_oid, files.ref_or_oid_value, issues_tag), 218 .repo = repo, 219 .files = files, 220 .commits = commits, 221 .refs = refs, 222 .issues = issues, 223 .settings = Settings.init(), 224 .auth = Auth.init(), 225 .quit = Quit.init(), 226 .route_name = route_name, 227 .commits_route_name = commits_route_name, 228 .identity = Array.from(repo_identity.identity) orelse return error.NotFound, 229 }; 230 } 231 232 pub const View = struct { 233 box: wgt.Box(ui.Widget), 234 data: *const Self, 235 session: *ui.Session, 236 237 const header_index: usize = 0; 238 const stack_index: usize = 1; 239 240 pub fn init(allocator: std.mem.Allocator, data: *const Self, session: *ui.Session) !View { 241 var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .rounded_corners = true, .direction = .vert }); 242 errdefer box.deinit(allocator); 243 244 // build the header first so we can grab the files-tab id for the auth 245 // view (it focuses there after login). 246 var files_tab_id: usize = undefined; 247 { 248 var header_view = try Header.View.init(allocator, &data.header, session); 249 errdefer header_view.deinit(allocator); 250 files_tab_id = header_view.tab_ids.keys()[0]; 251 try box.children.put(allocator, header_view.getFocus().id, .{ .widget = .{ .repo_header = header_view }, .rect = null, .min_size = null }); 252 } 253 254 { 255 var stack = try wgt.Stack(ui.Widget).init(allocator); 256 errdefer stack.deinit(allocator); 257 258 // files — the default tab: the current directory's listing. 259 { 260 var files_view = try Files.View.init(allocator, &data.files, session); 261 errdefer files_view.deinit(allocator); 262 try stack.children.put(allocator, files_view.getFocus().id, .{ .repo_files = files_view }); 263 } 264 265 // commits — the current page of the commit log. 266 { 267 var commits_view = try Commits.View.init(allocator, &data.commits, session); 268 errdefer commits_view.deinit(allocator); 269 try stack.children.put(allocator, commits_view.getFocus().id, .{ .repo_commits = commits_view }); 270 } 271 272 // refs — the repo's branches and tags. 273 { 274 var refs_view = try Refs.View.init(allocator, &data.refs, session); 275 errdefer refs_view.deinit(allocator); 276 try stack.children.put(allocator, refs_view.getFocus().id, .{ .repo_refs = refs_view }); 277 } 278 279 // issues — the repo's issue tracker. 280 { 281 var issues_view = try Issues.View.init(allocator, &data.issues, session); 282 errdefer issues_view.deinit(allocator); 283 try stack.children.put(allocator, issues_view.getFocus().id, .{ .repo_issues = issues_view }); 284 } 285 286 { 287 var settings_view = try Settings.View.init(allocator, session); 288 errdefer settings_view.deinit(allocator); 289 try stack.children.put(allocator, settings_view.getFocus().id, .{ .home_settings = settings_view }); 290 } 291 292 // the header has no auth tab in local mode, so keep the stack's 293 // children 1:1 with the tabs by skipping the auth view too. 294 if (!session.data.is_local) { 295 var auth_view = try Auth.View.init(allocator, &data.auth, session, files_tab_id); 296 errdefer auth_view.deinit(allocator); 297 try stack.children.put(allocator, auth_view.getFocus().id, .{ .home_auth = auth_view }); 298 } 299 300 if (session.is_terminal) { 301 var quit_view = try Quit.View.init(allocator, session); 302 errdefer quit_view.deinit(allocator); 303 try stack.children.put(allocator, quit_view.getFocus().id, .{ .quit = quit_view }); 304 } 305 306 try box.children.put(allocator, stack.getFocus().id, .{ .widget = .{ .stack = stack }, .rect = null, .min_size = null }); 307 } 308 309 var self = View{ .box = box, .data = data, .session = session }; 310 self.getFocus().child_id = box.children.keys()[header_index]; 311 return self; 312 } 313 314 pub fn deinit(self: *View, allocator: std.mem.Allocator) void { 315 self.box.deinit(allocator); 316 } 317 318 pub fn build(self: *View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 319 self.clearGrid(); 320 const header = &self.box.children.values()[header_index].widget.repo_header; 321 const stack = &self.box.children.values()[stack_index].widget.stack; 322 323 // each header tab maps 1:1 to a stack child by position. mirror the 324 // selection into current_page so the host can push the matching url; 325 // all repo tabs share the .repo parent, so this stays on the page 326 // rather than navigating. 327 if (header.getSelectedIndex()) |index| { 328 stack.getFocus().child_id = stack.children.keys()[index]; 329 switch (std.meta.activeTag(stack.children.values()[index])) { 330 // files/commits carry this page's content route (directory / log 331 // page); settings/auth carry only "owner/name". 332 .repo_commits => self.session.data.current_page = .{ .repo_commits = self.data.commits_route_name }, 333 // the refs tab mirrors this page's windowed column. 334 .repo_refs => self.session.data.current_page = ui.RoutablePage.repoRefsRoute(self.data.identity.slice(), self.data.refs.kind, self.data.refs.from) orelse self.session.data.current_page, 335 // the issues tab mirrors this page's tag filter (issue urls 336 // themselves never carry the tag). 337 .repo_issues => self.session.data.current_page = ui.RoutablePage.repoIssuesRoute(self.data.identity.slice(), .open, self.data.issues.tag, "") orelse self.session.data.current_page, 338 .home_settings => { 339 if (ui.RoutablePage.Array(ui.RoutablePage.repo_route_max_len).from(self.data.identity.slice())) |identity| 340 self.session.data.current_page = .{ .repo_settings = identity }; 341 }, 342 .home_auth => { 343 if (ui.RoutablePage.Array(ui.RoutablePage.repo_route_max_len).from(self.data.identity.slice())) |identity| 344 self.session.data.current_page = .{ .repo_auth = identity }; 345 }, 346 // the quit tab is tty-only and not a route, so leave current_page 347 // alone (nothing to mirror into the url). 348 .quit => {}, 349 // the files tab (this page's directory route) 350 else => self.session.data.current_page = .{ .repo_files = self.data.route_name }, 351 } 352 } 353 try self.box.build(allocator, constraint, root_focus); 354 } 355 356 pub fn input(self: *View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 357 if (self.getFocus().child_id) |child_id| { 358 if (self.box.children.getIndex(child_id)) |current_index| { 359 const child = &self.box.children.values()[current_index].widget; 360 var index = current_index; 361 362 const direction = inp.vertDirection(key); 363 364 switch (direction) { 365 .up => { 366 switch (child.*) { 367 .repo_header => { 368 try child.input(allocator, key, root_focus); 369 }, 370 .stack => { 371 if (child.stack.getSelected()) |selected_widget| { 372 const at_top = switch (selected_widget.*) { 373 .repo_files => |*v| v.getSelectedIndex() == 0, 374 .repo_commits => |*v| v.getSelectedIndex() == 0, 375 .repo_refs => |*v| v.getSelectedIndex() == 0, 376 .repo_issues => |*v| v.getSelectedIndex() == 0, 377 .home_settings => |*v| v.getSelectedIndex() == 0, 378 .home_auth => |*v| v.getSelectedIndex() == 0, 379 .quit => |*v| v.getSelectedIndex() == 0, 380 else => false, 381 }; 382 if (at_top) { 383 index = header_index; 384 } else { 385 try child.input(allocator, key, root_focus); 386 } 387 } 388 }, 389 else => {}, 390 } 391 }, 392 .down => { 393 switch (child.*) { 394 .repo_header => { 395 index = stack_index; 396 }, 397 .stack => { 398 try child.input(allocator, key, root_focus); 399 }, 400 else => {}, 401 } 402 }, 403 .none => { 404 try child.input(allocator, key, root_focus); 405 }, 406 } 407 408 if (index != current_index) { 409 root_focus.setFocus(self.box.children.keys()[index]); 410 } 411 } 412 } 413 } 414 415 pub fn clearGrid(self: *View) void { 416 self.box.clearGrid(); 417 } 418 419 pub fn getGrid(self: View) ?Grid { 420 return self.box.getGrid(); 421 } 422 423 pub fn getFocus(self: *View) *Focus { 424 return self.box.getFocus(); 425 } 426 }; 427