Something went wrong. Try again.
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354const std = @import("std");const fmt = std.fmt;const heap = std.heap;const mem = std.mem;const meta = std.meta;
const vaxis = @import("vaxis");
const log = std.log.scoped(.main);
const ActiveSection = enum { top, mid, btm,};
pub fn main(init: std.process.Init) !void { const io = init.io; const alloc = init.gpa;
// Users set up below the main function const users_buf = try alloc.dupe(User, users[0..]); defer alloc.free(users_buf);
var buffer: [1024]u8 = undefined; var tty: vaxis.Tty = try .init(io, &buffer); defer tty.deinit(); const tty_writer = tty.writer(); var vx = try vaxis.init(io, alloc, init.environ_map, .{ .kitty_keyboard_flags = .{ .report_events = true }, }); defer vx.deinit(alloc, tty.writer());
var loop: vaxis.Loop(union(enum) { key_press: vaxis.Key, winsize: vaxis.Winsize, table_upd, }) = .init(io, &tty, &vx); try loop.start(); defer loop.stop(); try vx.enterAltScreen(tty.writer()); try vx.queryTerminal(tty.writer(), .fromMilliseconds(250));
const logo = \\░█░█░█▀█░█░█░▀█▀░█▀▀░░░▀█▀░█▀█░█▀▄░█░░░█▀▀░ \\░▀▄▀░█▀█░▄▀▄░░█░░▀▀█░░░░█░░█▀█░█▀▄░█░░░█▀▀░ \\░░▀░░▀░▀░▀░▀░▀▀▀░▀▀▀░░░░▀░░▀░▀░▀▀░░▀▀▀░▀▀▀░ ; const title_logo = vaxis.Cell.Segment{ .text = logo, .style = .{}, }; const title_info = vaxis.Cell.Segment{ .text = "===A Demo of the the Vaxis Table Widget!===", .style = .{}, }; const title_disclaimer = vaxis.Cell.Segment{ .text = "(All data is non-sensical & LLM generated.)", .style = .{}, }; var title_segs = [_]vaxis.Cell.Segment{ title_logo, title_info, title_disclaimer };
var cmd_input = vaxis.widgets.TextInput.init(alloc); defer cmd_input.deinit();
// Colors const active_bg: vaxis.Cell.Color = .{ .rgb = .{ 64, 128, 255 } }; const selected_bg: vaxis.Cell.Color = .{ .rgb = .{ 32, 64, 255 } }; const other_bg: vaxis.Cell.Color = .{ .rgb = .{ 32, 32, 48 } };
// Table Context var demo_tbl: vaxis.widgets.Table.TableContext = .{ .active_bg = active_bg, .active_fg = .{ .rgb = .{ 0, 0, 0 } }, .row_bg_1 = .{ .rgb = .{ 8, 8, 8 } }, .selected_bg = selected_bg, .header_names = .{ .custom = &.{ "First", "Last", "Username", "Phone#", "Email" } }, //.header_align = .left, .col_indexes = .{ .by_idx = &.{ 0, 1, 2, 4, 3 } }, //.col_align = .{ .by_idx = &.{ .left, .left, .center, .center, .left } }, //.col_align = .{ .all = .center }, //.header_borders = true, //.col_borders = true, //.col_width = .{ .static_all = 15 }, //.col_width = .{ .dynamic_header_len = 3 }, //.col_width = .{ .static_individual = &.{ 10, 20, 15, 25, 15 } }, //.col_width = .dynamic_fill, //.y_off = 10, }; defer if (demo_tbl.sel_rows) |rows| alloc.free(rows);
// TUI State var active: ActiveSection = .mid; var moving = false; var see_content = false;
// Create an Arena Allocator for easy allocations on each Event. var event_arena: heap.ArenaAllocator = .init(alloc); defer event_arena.deinit(); while (true) { defer _ = event_arena.reset(.retain_capacity); defer tty_writer.flush() catch {}; const event_alloc = event_arena.allocator(); const event = try loop.nextEvent();
switch (event) { .key_press => |key| keyEvt: { // Close the Program if (key.matches('c', .{ .ctrl = true })) { break; } // Refresh the Screen if (key.matches('l', .{ .ctrl = true })) { vx.queueRefresh(); break :keyEvt; } // Enter Moving State if (key.matches('w', .{ .ctrl = true })) { moving = !moving; break :keyEvt; } // Command State if (active != .btm and key.matchesAny(&.{ ':', '/', 'g', 'G' }, .{})) { active = .btm; cmd_input.clearAndFree(); try cmd_input.update(.{ .key_press = key }); break :keyEvt; }
switch (active) { .top => { if (key.matchesAny(&.{ vaxis.Key.down, 'j' }, .{}) and moving) active = .mid; }, .mid => midEvt: { if (moving) { if (key.matchesAny(&.{ vaxis.Key.up, 'k' }, .{})) active = .top; if (key.matchesAny(&.{ vaxis.Key.down, 'j' }, .{})) active = .btm; break :midEvt; } // Change Row if (key.matchesAny(&.{ vaxis.Key.up, 'k' }, .{})) demo_tbl.row -|= 1; if (key.matchesAny(&.{ vaxis.Key.down, 'j' }, .{})) demo_tbl.row +|= 1; // Change Column if (key.matchesAny(&.{ vaxis.Key.left, 'h' }, .{})) demo_tbl.col -|= 1; if (key.matchesAny(&.{ vaxis.Key.right, 'l' }, .{})) demo_tbl.col +|= 1; // Select/Unselect Row if (key.matches(vaxis.Key.space, .{})) { const rows = demo_tbl.sel_rows orelse createRows: { demo_tbl.sel_rows = try alloc.alloc(u16, 1); break :createRows demo_tbl.sel_rows.?; }; var rows_list = std.ArrayList(u16).fromOwnedSlice(rows); for (rows_list.items, 0..) |row, idx| { if (row != demo_tbl.row) continue; _ = rows_list.orderedRemove(idx); break; } else try rows_list.append(alloc, demo_tbl.row); demo_tbl.sel_rows = try rows_list.toOwnedSlice(alloc); } // See Row Content if (key.matches(vaxis.Key.enter, .{}) or key.matches('j', .{ .ctrl = true })) see_content = !see_content; }, .btm => { if (key.matchesAny(&.{ vaxis.Key.up, 'k' }, .{}) and moving) active = .mid // Run Command and Clear Command Bar else if (key.matchExact(vaxis.Key.enter, .{}) or key.matchExact('j', .{ .ctrl = true })) { const cmd = try cmd_input.toOwnedSlice(); defer alloc.free(cmd); if (mem.eql(u8, ":q", cmd) or mem.eql(u8, ":quit", cmd) or mem.eql(u8, ":exit", cmd)) return; if (mem.eql(u8, "G", cmd)) { demo_tbl.row = @intCast(users_buf.len - 1); active = .mid; } if (cmd.len >= 2 and mem.eql(u8, "gg", cmd[0..2])) { const goto_row = fmt.parseInt(u16, cmd[2..], 0) catch 0; demo_tbl.row = goto_row; active = .mid; } } else try cmd_input.update(.{ .key_press = key }); }, } moving = false; }, .winsize => |ws| try vx.resize(alloc, tty.writer(), ws), else => {}, }
// Content seeRow: { if (!see_content) { demo_tbl.active_content_fn = null; demo_tbl.active_ctx = &{}; break :seeRow; } const RowContext = struct { row: []const u8, bg: vaxis.Color, }; const row_ctx = RowContext{ .row = try fmt.allocPrint(event_alloc, "Row #: {d}", .{demo_tbl.row}), .bg = demo_tbl.active_bg, }; demo_tbl.active_ctx = &row_ctx; demo_tbl.active_content_fn = struct { fn see(win: *vaxis.Window, ctx_raw: *const anyopaque) !u16 { const ctx: *const RowContext = @ptrCast(@alignCast(ctx_raw)); win.height = 5; const see_win = win.child(.{ .x_off = 0, .y_off = 1, .width = win.width, .height = 4, }); see_win.fill(.{ .style = .{ .bg = ctx.bg } }); const content_logo = \\ \\░█▀▄░█▀█░█░█░░░█▀▀░█▀█░█▀█░▀█▀░█▀▀░█▀█░▀█▀ \\░█▀▄░█░█░█▄█░░░█░░░█░█░█░█░░█░░█▀▀░█░█░░█░ \\░▀░▀░▀▀▀░▀░▀░░░▀▀▀░▀▀▀░▀░▀░░▀░░▀▀▀░▀░▀░░▀░ ; const content_segs: []const vaxis.Cell.Segment = &.{ .{ .text = ctx.row, .style = .{ .bg = ctx.bg }, }, .{ .text = content_logo, .style = .{ .bg = ctx.bg }, }, }; _ = see_win.print(content_segs, .{}); return see_win.height; } }.see; try loop.postEvent(.table_upd); }
// Sections // - Window const win = vx.window(); win.clear();
// - Top const top_div = 6; const top_bar = win.child(.{ .x_off = 0, .y_off = 0, .width = win.width, .height = win.height / top_div, }); for (title_segs[0..]) |*title_seg| title_seg.style.bg = if (active == .top) selected_bg else other_bg; top_bar.fill(.{ .style = .{ .bg = if (active == .top) selected_bg else other_bg, } }); const logo_bar = vaxis.widgets.alignment.center( top_bar, 44, top_bar.height - (top_bar.height / 3), ); _ = logo_bar.print(title_segs[0..], .{ .wrap = .word });
// - Middle const middle_bar = win.child(.{ .x_off = 0, .y_off = win.height / top_div, .width = win.width, .height = win.height - (top_bar.height + 1), }); if (users_buf.len > 0) { demo_tbl.active = active == .mid; try vaxis.widgets.Table.drawTable( null, // event_alloc, middle_bar, //users_buf[0..], //user_list, users_buf, &demo_tbl, ); }
// - Bottom const bottom_bar = win.child(.{ .x_off = 0, .y_off = win.height - 1, .width = win.width, .height = 1, }); if (active == .btm) bottom_bar.fill(.{ .style = .{ .bg = active_bg } }); cmd_input.draw(bottom_bar);
// Render the screen try vx.render(tty_writer); }}
/// User Structpub const User = struct { first: []const u8, last: []const u8, user: []const u8, email: ?[]const u8 = null, phone: ?[]const u8 = null,};
// Users Arrayconst users = [_]User{ .{ .first = "Nancy", .last = "Dudley", .user = "angela73", .email = "brian47@rodriguez.biz", .phone = null }, .{ .first = "Emily", .last = "Thornton", .user = "mrogers", .email = null, .phone = "(558)888-8604x094" }, .{ .first = "Kyle", .last = "Huff", .user = "xsmith", .email = null, .phone = "301.127.0801x12398" }, .{ .first = "Christine", .last = "Dodson", .user = "amandabradley", .email = "cheryl21@sullivan.com", .phone = null }, .{ .first = "Nathaniel", .last = "Kennedy", .user = "nrobinson", .email = null, .phone = null }, .{ .first = "Laura", .last = "Leon", .user = "dawnjones", .email = "fjenkins@patel.com", .phone = "1833013180" }, .{ .first = "Patrick", .last = "Landry", .user = "michaelhutchinson", .email = "daniel17@medina-wallace.net", .phone = "+1-634-486-6444x964" }, .{ .first = "Tammy", .last = "Hall", .user = "jamessmith", .email = null, .phone = "(926)810-3385x22059" }, .{ .first = "Stephanie", .last = "Anderson", .user = "wgillespie", .email = "campbelljaime@yahoo.com", .phone = null }, .{ .first = "Jennifer", .last = "Williams", .user = "shawn60", .email = null, .phone = "611-385-4771x97523" }, .{ .first = "Elizabeth", .last = "Ortiz", .user = "jennifer76", .email = "johnbradley@delgado.info", .phone = null }, .{ .first = "Stacy", .last = "Mays", .user = "scottgonzalez", .email = "kramermatthew@gmail.com", .phone = null }, .{ .first = "Jennifer", .last = "Smith", .user = "joseph75", .email = "masseyalexander@hill-moore.net", .phone = null }, .{ .first = "Gary", .last = "Hammond", .user = "brittany26", .email = null, .phone = null }, .{ .first = "Lisa", .last = "Johnson", .user = "tina28", .email = null, .phone = "850-606-2978x1081" }, .{ .first = "Zachary", .last = "Hopkins", .user = "vargasmichael", .email = null, .phone = null }, .{ .first = "Joshua", .last = "Kidd", .user = "ghanna", .email = "jbrown@yahoo.com", .phone = null }, .{ .first = "Dawn", .last = "Jones", .user = "alisonlindsey", .email = null, .phone = null }, .{ .first = "Monica", .last = "Berry", .user = "barbara40", .email = "michael00@hotmail.com", .phone = "(295)346-6453x343" }, .{ .first = "Shannon", .last = "Roberts", .user = "krystal37", .email = null, .phone = "980-920-9386x454" }, .{ .first = "Thomas", .last = "Mitchell", .user = "williamscorey", .email = "richardduncan@roberts.com", .phone = null }, .{ .first = "Nicole", .last = "Shaffer", .user = "rogerstroy", .email = null, .phone = "(570)128-5662" }, .{ .first = "Edward", .last = "Bennett", .user = "andersonchristina", .email = null, .phone = null }, .{ .first = "Duane", .last = "Howard", .user = "pcarpenter", .email = "griffithwayne@parker.net", .phone = null }, .{ .first = "Mary", .last = "Brown", .user = "kimberlyfrost", .email = "perezsara@anderson-andrews.net", .phone = null }, .{ .first = "Pamela", .last = "Sloan", .user = "kvelez", .email = "huynhlacey@moore-bell.biz", .phone = "001-359-125-1393x8716" }, .{ .first = "Timothy", .last = "Charles", .user = "anthony04", .email = "morrissara@hawkins.info", .phone = "+1-619-369-9572" }, .{ .first = "Sydney", .last = "Torres", .user = "scott42", .email = "asnyder@mitchell.net", .phone = null }, .{ .first = "John", .last = "Jones", .user = "anthonymoore", .email = null, .phone = "701.236.0571x99622" }, .{ .first = "Erik", .last = "Johnson", .user = "allisonsanders", .email = null, .phone = null }, .{ .first = "Donna", .last = "Kirk", .user = "laurie81", .email = null, .phone = null }, .{ .first = "Karina", .last = "White", .user = "uperez", .email = null, .phone = null }, .{ .first = "Jesse", .last = "Schwartz", .user = "ryan60", .email = "latoyawilliams@gmail.com", .phone = null }, .{ .first = "Cindy", .last = "Romero", .user = "christopher78", .email = "faulknerchristina@gmail.com", .phone = "780.288.2319x583" }, .{ .first = "Tyler", .last = "Sanders", .user = "bennettjessica", .email = null, .phone = "1966269423" }, .{ .first = "Pamela", .last = "Carter", .user = "zsnyder", .email = null, .phone = "125-062-9130x58413" },};
test { std.testing.refAllDecls(@This());}