From 4bf8ef8e59e01087d792885de110f098c0bdee61 Mon Sep 17 00:00:00 2001 From: "Adam D. Ruppe" Date: Sat, 4 Dec 2021 07:16:11 -0500 Subject: [PATCH] oops --- minigui.d | 2 -- 1 file changed, 2 deletions(-) diff --git a/minigui.d b/minigui.d index cbb9368..ed01c9c 100644 --- a/minigui.d +++ b/minigui.d @@ -8341,8 +8341,6 @@ private class TableViewWidgetInner : Widget { child.removeWidget(); foreach(column; tvw.tvw.columns) { - if(column.width == 0) - continue; // the cast is ok because I dup it above, just the type is never changed. // all this is private so it should never get messed up. new Button(ImageLabel(cast(string) column.name, column.alignment), this);