From 82257ee4e31fdff0e1ad4c2ea65467a93b1564f1 Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Thu, 11 Dec 2025 19:00:07 +0100 Subject: [PATCH] refactor: add panel border to inspector_view --- src/tui/inspector_view.zig | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/tui/inspector_view.zig b/src/tui/inspector_view.zig index 5ab77b6..a7c26a0 100644 --- a/src/tui/inspector_view.zig +++ b/src/tui/inspector_view.zig @@ -12,6 +12,7 @@ const EventHandler = @import("EventHandler"); const tui = @import("tui.zig"); const Widget = @import("Widget.zig"); +const WidgetList = @import("WidgetList.zig"); const ed = @import("editor.zig"); pub const name = @typeName(Self); @@ -22,17 +23,21 @@ theme: ?*const Widget.Theme = null, last_node: usize = 0, const Self = @This(); +const widget_type: Widget.Type = .panel; pub fn create(allocator: Allocator, parent: Plane) !Widget { const editor = tui.get_active_editor() orelse return error.NotFound; const self = try allocator.create(Self); errdefer allocator.destroy(self); + const container = try WidgetList.createHStyled(allocator, parent, "panel_frame", .dynamic, widget_type); self.* = .{ .plane = try Plane.init(&(Widget.Box{}).opts_vscroll(name), parent), .editor = editor, }; try editor.handlers.add(EventHandler.bind(self, ed_receive)); - return Widget.to(self); + container.ctx = self; + try container.add(Widget.to(self)); + return container.widget(); } pub fn deinit(self: *Self, allocator: Allocator) void {