╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Issues.zig ───────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
🬐 🬠 🬞🬂🬏 🬟 🬑 🬟 🬑 ╭e529f2af..╮ e529f2af.. see-em: 🬋🬋🬋 🬋🬋🬋 🬋 🬋 │files │ commits refs discuss issues new login 🬐 🬠 🬐 🬠 🬑 🬟 🬰 ╰──────────╯ (388) user
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
.. Attachment.zig Comment.zig Commits.zig Discussions.zig Events.zig Files.zig Header.zig ╭─────────────────────────────────╮ │Issues.zig │ ╰─────────────────────────────────╯ Refs.zig Threads.zig
282 .closed => closed_set, 283 }) orelse return error.NotFound; 284 if (!try set.contains(order_key)) return error.NotFound; 285 286 switch (issue_event.event.status) { 287 .open => open_root = order_key, 288 .closed => closed_root = order_key, 289 } 290 // form urls keep their view; otherwise the issue's status picks it. 291 if (view != .edit and view != .new_comment and view != .edit_comment and view != .remove) resolved_view = switch (issue_event.event.status) { 292 .open => .open, 293 .closed => .closed, 294 }; 295 296 // a resolve url shows the resolve view only while the issue still 297 // has a conflict entry; otherwise the status list stands. the 298 // wasm client renders from the snapshot, so the diff machinery 299 // this pulls in is gated out of its build. 300 if (comptime !wasm) { 301 if (view == .resolve) { 302 if (conflicts_map) |map| { 303 if (try map.getCursor(order_key)) |conflict_cursor| { 304 const conflict_entry = try DB.HashMap(.read_only).init(conflict_cursor); 305 conflict_data = try readConflict(repo_kind, repo_opts, arena, repo, io, admin_moment, haxy_moment, &id_bytes, issue_event, conflict_entry); 306 resolved_view = .resolve; 307 } 308 } 309 } 310 } 311 } 312 } 313 314 const thread_comments_start = if (empty.comment_id.len == 0) comments_start else 0; 315 const open_window = try loadWindow(repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_issue, open_set, open_root, conflict_set, empty.selected_id, thread_comments_start); 316 const closed_window = try loadWindow(repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_issue, closed_set, closed_root, conflict_set, empty.selected_id, thread_comments_start); 317 const conflicts_window = try loadWindow(repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_issue, conflict_set, conflicts_root, conflict_set, empty.selected_id, thread_comments_start); 318 if (view == .conflicts and conflicts_window.count > 0) resolved_view = .conflicts; 319 320 const comment_page = if (empty.comment_id.len == 0) 321 null 322 else 323 try Comment.init(repo_opts.hash, arena, admin_moment, haxy_moment, empty.selected_id, empty.comment_id, comments_start); 324 325 // every tag in the repo, in the tag map's sorted order. the keys are 326 // "tag,status", so a tag's entries are adjacent and dedup by prefix. 327 var tags: std.ArrayList([]const u8) = .empty; 328 if (try haxy_moment.getCursor(hash.hashInt(repo_opts.hash, "tag+status->issue-id-set"))) |tag_to_issues_cursor| { 329 const tag_to_issues = try DB.SortedMap(.read_only).init(tag_to_issues_cursor); 330 var tag_iter = try tag_to_issues.iterator(); 331 while (try tag_iter.next()) |kv_pair_cursor| { 332 if (tags.items.len == max_tags) break; 333 var kv_cursor = kv_pair_cursor; 334 const kv_pair = try kv_cursor.readKeyValuePair(); 335 const key = try kv_pair.key_cursor.readBytesAlloc(aa, null); 336 const space = std.mem.indexOfScalar(u8, key, ' ') orelse continue; 337 const key_tag = key[0..space]; 338 if (tags.getLastOrNull()) |last| { 339 if (std.mem.eql(u8, last, key_tag)) continue; 340 } 341 try tags.append(aa, key_tag); 342 } 343 } 344 345 return .{ 346 .identity = empty.identity, 347 .tag = empty.tag, 348 .selected_id = empty.selected_id, 349 .comment_id = empty.comment_id, 350 .comments_start = comments_start, 351 .comment_page = comment_page, 352 .open = open_window, 353 .closed = closed_window, 354 .conflicts = conflicts_window, 355 .conflict = conflict_data, 356 .theirs_picks = empty.theirs_picks, 357 .view = resolved_view, 358 .description_page = empty.description_page, 359 .tags = tags.items, 360 }; 361 } 362 363 // `status`'s sorted set within `statuses` (null when the status has no issues) 364 fn statusSet( 365 comptime DB: type, 366 statuses: DB.SortedMap(.read_only), 367 status: evt.Issue.Status, 368 ) !?DB.SortedSet(.read_only) { 369 const cursor = (try statuses.getCursor(@tagName(status))) orelse return null; 370 return try DB.SortedSet(.read_only).init(cursor); 371 } 372 373 // the set at `tag_to_issues`'s "tag,status" key (null when no issue carries 374 // `tag` with `status`, or the tag is too long to exist) 375 fn tagStatusSet( 376 comptime DB: type, 377 tag_to_issues: DB.SortedMap(.read_only), 378 tag: []const u8, 379 status: evt.Issue.Status, 380 ) !?DB.SortedSet(.read_only) { 381 var key_buffer: evt.Issue.TagStatusKey = undefined; 382 const key = evt.Issue.tagStatusKey(&key_buffer, tag, status) catch return null; 383 const cursor = (try tag_to_issues.getCursor(key)) orelse return null; 384 return try DB.SortedSet(.read_only).init(cursor); 385 } 386 387 // read one window of `set_maybe` (null = an empty listing) starting at 388 // `root_key` (null = the beginning) 389 fn loadWindow( 390 comptime hash_kind: hash.HashKind, 391 arena: *std.heap.ArenaAllocator, 392 admin_moment: ?evt.AdminDB.HashMap(.read_only), 393 haxy_moment: evt.EventDB(hash_kind).HashMap(.read_only), 394 event_id_to_issue: evt.EventDB(hash_kind).HashMap(.read_only), 395 set_maybe: ?evt.EventDB(hash_kind).SortedSet(.read_only), 396 root_key: ?[]const u8, 397 conflict_set: ?evt.EventDB(hash_kind).SortedSet(.read_only), 398 selected_id: []const u8, 399 comments_start: usize, 400 ) !Window { 401 const set = set_maybe orelse return .empty; 402 const DB = evt.EventDB(hash_kind); 403 const aa = arena.allocator(); 404 405 // seek once to the window start: the root key, or the set's first entry. 406 var prev_id: ?[]const u8 = null; 407 var iter = if (root_key) |key| blk: { 408 // the previous window starts page_size ranks back ("" = the first 409 // window, linked as the bare list route). 410 const rank = try set.rank(key); 411 if (rank > 0 and rank <= page_size) { 412 prev_id = ""; 413 } else if (rank > page_size) { 414 const kv = try set.getIndexKeyValuePair(@intCast(rank - page_size)) orelse return error.NotFound; 415 var prev_key: [@sizeOf(u64) + evt.event_id_size]u8 = undefined; 416 _ = try kv.key_cursor.readBytes(&prev_key); 417 const prev_hex = std.fmt.bytesToHex(prev_key[@sizeOf(u64)..].*, .lower); 418 prev_id = try aa.dupe(u8, &prev_hex); 419 } 420 break :blk try set.iteratorFrom(key); 421 } else try set.iteratorFromIndex(0); 422 423 // collect this window's issues, plus a peek at the one after it (its id is 424 // the next window's start). the trailing bytes of each set key are the 425 // issue event id. 426 var issues: std.ArrayList(IssueWithId) = .empty; 427 var next_id: ?[]const u8 = null; 428 while (try iter.next()) |id_cursor_val| { 429 var id_cursor = id_cursor_val; 430 const id_kv = try id_cursor.readKeyValuePair(); 431 var order_key: [@sizeOf(u64) + evt.event_id_size]u8 = undefined; 432 _ = try id_kv.key_cursor.readBytes(&order_key); 433 const id_hex = std.fmt.bytesToHex(order_key[@sizeOf(u64)..].*, .lower); 434 if (issues.items.len == page_size) { 435 next_id = try aa.dupe(u8, &id_hex); 436 break; 437 } 438 const issue_cursor = try event_id_to_issue.getCursor(hash.hashInt(hash_kind, order_key[@sizeOf(u64)..])) orelse continue; 439 const issue_map = try DB.HashMap(.read_only).init(issue_cursor); 440 const issue_event = try evt.read(evt.Issue.Record, DB, hash_kind, arena, issue_map); 441 try issues.append(aa, .{ 442 .id = try aa.dupe(u8, &id_hex), 443 .record = issue_event, 444 .author = try ui.Author.initFromEmail(admin_moment, arena, issue_event.author_email), 445 .conflicted = if (conflict_set) |cs| try cs.contains(&order_key) else false, 446 .comments = try Comment.loadWindow( 447 hash_kind, 448 arena, 449 admin_moment, 450 haxy_moment, 451 evt.Comment.thread_id_to_comment_id_set_key, 452 &id_hex, 453 if (std.mem.eql(u8, &id_hex, selected_id)) comments_start else 0, 454 ), 455 .attachments = try Attachment.load(hash_kind, arena, haxy_moment, &id_hex), 456 }); 457 } 458 459 return .{ 460 .items = issues.items, 461 .prev_id = prev_id, 462 .next_id = next_id, 463 .count = @intCast(try set.count()), 464 }; 465 } 466 467 // the selected issue's conflict entry, shaped for the resolve view. `ours` is 468 // the live record. 469 fn readConflict( 470 comptime repo_kind: rp.RepoKind, 471 comptime repo_opts: rp.RepoOpts(repo_kind), 472 arena: *std.heap.ArenaAllocator, 473 repo: *rp.Repo(repo_kind, repo_opts), 474 io: std.Io, 475 admin_moment: ?evt.AdminDB.HashMap(.read_only), 476 haxy_moment: evt.EventDB(repo_opts.hash).HashMap(.read_only), 477 id_bytes: *const [evt.event_id_size]u8, 478 ours: evt.Issue.Record, 479 conflict_entry: evt.EventDB(repo_opts.hash).HashMap(.read_only), 480 ) !Conflict { 481 const DB = evt.EventDB(repo_opts.hash); 482 const aa = arena.allocator(); 483 const gpa = arena.child_allocator; 484 485 const fields_cursor = (try conflict_entry.getCursor(hash.hashInt(repo_opts.hash, evt.conflicted_fields_key))) orelse return error.NotFound; 486 const conflicted_fields = try fields_cursor.readBytesAlloc(aa, null); 487 488 const their_cursor = (try conflict_entry.getCursor(hash.hashInt(repo_opts.hash, evt.their_record_key))) orelse return error.NotFound; 489 const theirs = try evt.read(evt.Issue.Record, DB, repo_opts.hash, arena, try DB.HashMap(.read_only).init(their_cursor)); 490 491 // absent when both sides created the issue independently 492 var base: ?evt.Issue.Record = null; 493 if (try conflict_entry.getCursor(hash.hashInt(repo_opts.hash, evt.base_record_key))) |base_cursor| { 494 base = try evt.read(evt.Issue.Record, DB, repo_opts.hash, arena, try DB.HashMap(.read_only).init(base_cursor)); 495 } 496 497 // each side's field->oid map, for attributing the versions; a field a 498 // merge left unattributed reads as an unknown author 499 var their_field_oids: ?DB.SortedMap(.read_only) = null; 500 if (try conflict_entry.getCursor(hash.hashInt(repo_opts.hash, evt.their_field_to_oid_key))) |cursor| { 501 their_field_oids = try DB.SortedMap(.read_only).init(cursor); 502 } 503 var our_field_oids: ?DB.SortedMap(.read_only) = null; 504 if (try haxy_moment.getCursor(hash.hashInt(repo_opts.hash, evt.Issue.id_to_field_to_oid_key))) |map_cursor| { 505 const id_to_field_to_oid = try DB.HashMap(.read_only).init(map_cursor); 506 if (try id_to_field_to_oid.getCursor(hash.hashInt(repo_opts.hash, id_bytes))) |cursor| { 507 our_field_oids = try DB.SortedMap(.read_only).init(cursor); 508 } 509 } 510 511 var conflict = Conflict{}; 512 var field_iter = std.mem.splitScalar(u8, conflicted_fields, ' '); 513 while (field_iter.next()) |field| { 514 // status can't conflict (two changes of a two-value field agree) 515 const known = std.meta.stringToEnum(enum { title, tags, description }, field) orelse continue; 516 const our_author = try oidAuthor(repo_kind, repo_opts, arena, repo, io, admin_moment, try readFieldOid(repo_opts.hash, our_field_oids, field)); 517 const their_author = try oidAuthor(repo_kind, repo_opts, arena, repo, io, admin_moment, try readFieldOid(repo_opts.hash, their_field_oids, field)); 518 switch (known) { 519 .title => conflict.title = .{ 520 .ours = .{ .text = ours.event.title, .author = our_author }, 521 .theirs = .{ .text = theirs.event.title, .author = their_author }, 522 }, 523 .tags => conflict.tags = .{ 524 .ours = .{ .text = ours.event.tags, .author = our_author }, 525 .theirs = .{ .text = theirs.event.tags, .author = their_author }, 526 }, 527 .description => conflict.description = .{ 528 .chunks = try diff3.chunks(io, gpa, arena, if (base) |b| b.event.description else "", ours.event.description, theirs.event.description), 529 .ours_author = our_author, 530 .theirs_author = their_author, 531 }, 532 } 533 } 534 return conflict; 535 } 536 537 // the oid `field` maps to in a field->oid map, or null 538 fn readFieldOid( 539 comptime hash_kind: hash.HashKind, 540 field_oids_maybe: ?evt.EventDB(hash_kind).SortedMap(.read_only), 541 field: []const u8, 542 ) !?[hash.byteLen(hash_kind)]u8 { 543 const field_oids = field_oids_maybe orelse return null; 544 const cursor = (try field_oids.getCursor(field)) orelse return null; 545 var oid: [hash.byteLen(hash_kind)]u8 = undefined; 546 _ = try cursor.readBytes(&oid); 547 return oid; 548 } 549 550 // the author of the event commit `oid_maybe` names 551 fn oidAuthor( 552 comptime repo_kind: rp.RepoKind, 553 comptime repo_opts: rp.RepoOpts(repo_kind), 554 arena: *std.heap.ArenaAllocator, 555 repo: *rp.Repo(repo_kind, repo_opts), 556 io: std.Io, 557 admin_moment: ?evt.AdminDB.HashMap(.read_only), 558 oid_maybe: ?[hash.byteLen(repo_opts.hash)]u8, 559 ) !ui.Author { 560 const oid = oid_maybe orelse return .unknown; 561 const gpa = arena.child_allocator; 562 var start_oids = [_][hash.hexLen(repo_opts.hash)]u8{std.fmt.bytesToHex(oid, .lower)}; 563 var commit_iter = repo.log(io, gpa, start_oids[0..1]) catch return .unknown; 564 defer commit_iter.deinit(); 565 const commit_object = (commit_iter.next(gpa) catch return .unknown) orelse return .unknown; 566 defer commit_object.deinit(); 567 return try ui.Author.init(admin_moment, arena, commit_object.content.commit.metadata.author orelse ""); 568 } 569 570 pub const View = Threads.View(.issue, Self); 571 572 // tabs switching between the issues page's views. 573 pub const Header = struct { 574 box: wgt.Box(ui.Widget), 575 tab_ids: std.AutoArrayHashMapUnmanaged(usize, void), 576 577 pub fn init(allocator: std.mem.Allocator, session: *ui.Session, data: *const Self) !Header { 578 var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .horiz }); 579 errdefer box.deinit(allocator); 580 581 var tab_ids: std.AutoArrayHashMapUnmanaged(usize, void) = .empty; 582 errdefer tab_ids.deinit(allocator); 583 584 const aa = session.page_arena.allocator(); 585 586 // a list tab per status, labeled with its listing's issue count 587 for ([_]evt.Issue.Status{ .open, .closed }) |status| { 588 const route = ui.RoutablePage.repoIssuesRoute(data.identity, status, data.tag, "") orelse return error.RouteTooLong; 589 const link = try std.fmt.allocPrint(aa, "ai:{s}", .{try route.toUrl(session.page_arena)}); 590 const label = try std.fmt.allocPrint(aa, "{s} ({d})", .{ @tagName(status), data.window(status).count }); 591 try addTab(allocator, &box, &tab_ids, label, link); 592 } 593 594 // tags tab, labeled with the active tag filter 595 { 596 const tags_route = ui.RoutablePage.repoThreadTagsRoute(.issue, data.identity, data.tag) orelse return error.RouteTooLong; 597 const tags_link = try std.fmt.allocPrint(aa, "ai:{s}", .{try tags_route.toUrl(session.page_arena)}); 598 const label = if (data.tag.len == 0) "tags" else blk: { 599 const decoded = std.Uri.percentDecodeInPlace(try aa.dupe(u8, data.tag)); 600 break :blk try std.fmt.allocPrint(aa, "tags ({s})", .{decoded}); 601 }; 602 try addTab(allocator, &box, &tab_ids, label, tags_link); 603 } 604 605 // new-issue tab; an edit or resolve url shows its tab in this place 606 { 607 const route = switch (data.view) { 608 .edit => ui.RoutablePage.repoThreadEditRoute(.issue, data.identity, data.selected_id) orelse return error.RouteTooLong, 609 .new_comment => ui.RoutablePage.repoThreadCommentNewRoute(.issue, data.identity, data.selected_id, data.comment_id) orelse return error.RouteTooLong, 610 .edit_comment => ui.RoutablePage.repoThreadCommentEditRoute(.issue, data.identity, data.selected_id, data.comment_id) orelse return error.RouteTooLong, 611 .remove => ui.RoutablePage.repoThreadRemoveRoute(.issue, data.identity, data.selected_id, data.comment_id) orelse return error.RouteTooLong, 612 .resolve => ui.RoutablePage.repoIssuesResolveRoute(data.identity, data.selected_id, data.theirs_picks) orelse return error.RouteTooLong, 613 else => ui.RoutablePage.repoThreadNewRoute(.issue, data.identity) orelse return error.RouteTooLong, 614 }; 615 const link = try std.fmt.allocPrint(aa, "ai:{s}", .{try route.toUrl(session.page_arena)}); 616 const label: []const u8 = switch (data.view) { 617 .edit => "edit", 618 .new_comment => "reply", 619 .edit_comment => "edit", 620 .remove => "remove", 621 .resolve => "resolve", 622 else => "new", 623 }; 624 try addTab(allocator, &box, &tab_ids, label, link); 625 } 626 627 // conflicts tab, labeled with the conflict count 628 if (data.conflicts.count > 0) { 629 const route = ui.RoutablePage.repoIssuesConflictsRoute(data.identity, "") orelse return error.RouteTooLong; 630 const link = try std.fmt.allocPrint(aa, "ai:{s}", .{try route.toUrl(session.page_arena)}); 631 const label = try std.fmt.allocPrint(aa, "conflicts ({d})", .{data.conflicts.count}); 632 try addTab(allocator, &box, &tab_ids, label, link); 633 } 634 635 var self = Header{ .box = box, .tab_ids = tab_ids }; 636 // the tab matching the page's view is selected initially. 637 self.getFocus().child_id = self.tab_ids.keys()[View.viewIndex(data.view)]; 638 return self; 639 } 640 641 fn addTab(allocator: std.mem.Allocator, box: *wgt.Box(ui.Widget), tab_ids: *std.AutoArrayHashMapUnmanaged(usize, void), label: []const u8, link: []const u8) !void { 642 var text_box = try wgt.TextBox(ui.Widget).init(allocator, label, .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none }); 643 errdefer text_box.deinit(allocator); 644 text_box.getFocus().focusable = true; 645 text_box.getFocus().kind = .{ .custom = link }; 646 try tab_ids.put(allocator, text_box.getFocus().id, {}); 647 try box.children.put(allocator, text_box.getFocus().id, .{ 648 .widget = .{ .text_box = text_box }, 649 .rect = null, 650 .min_size = .{ .width = label.len + 2, .height = null }, 651 }); 652 } 653 654 pub fn deinit(self: *Header, allocator: std.mem.Allocator) void { 655 self.box.deinit(allocator); 656 self.tab_ids.deinit(allocator); 657 } 658 659 pub fn build(self: *Header, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 660 self.clearGrid(); 661 // only the selected tab shows its border 662 for (self.box.children.keys(), self.box.children.values()) |id, *child| { 663 switch (child.widget) { 664 .text_box => |*tb| tb.options.border_style = if (self.getFocus().child_id == id) .single else .hidden, 665 else => {}, 666 } 667 } 668 try self.box.build(allocator, constraint, root_focus); 669 } 670 671 pub fn input(self: *Header, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 672 _ = allocator; 673 const current_tab = self.currentTabIndex() orelse return; 674 if (inp.moveTab(key, current_tab, self.tab_ids.count())) |new_tab| { 675 root_focus.setFocus(self.tab_ids.keys()[new_tab]); 676 } 677 } 678 679 pub fn clearGrid(self: *Header) void { 680 self.box.clearGrid(); 681 } 682 683 pub fn getGrid(self: Header) ?Grid { 684 return self.box.getGrid(); 685 } 686 687 pub fn getFocus(self: *Header) *Focus { 688 return self.box.getFocus(); 689 } 690 691 pub fn getSelectedIndex(self: Header) ?usize { 692 return self.currentTabIndex(); 693 } 694 695 fn currentTabIndex(self: Header) ?usize { 696 const child_id = self.box.focus.child_id orelse return null; 697 return self.tab_ids.getIndex(child_id); 698 } 699 }; 700