From dac030d869c1c4c4f19efd234e4dbcb8196c6e8d Mon Sep 17 00:00:00 2001 From: Kai Schmidt Date: Thu, 28 Dec 2023 11:00:38 -0800 Subject: [PATCH] improve empty map entry formatting --- src/grid_fmt.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/grid_fmt.rs b/src/grid_fmt.rs index 160d91dd0..cd8189c73 100644 --- a/src/grid_fmt.rs +++ b/src/grid_fmt.rs @@ -183,12 +183,10 @@ impl GridFmt for Array { } let key = key.fmt_grid(false); let value = value.fmt_grid(false); - metagrid.push(vec![key, vec![vec![' ', '→', ' ']], value]); + metagrid.push(vec![key, vec![" → ".chars().collect()], value]); } if empty_entries > 0 { - metagrid.push(vec![vec![format!("… {empty_entries} empty") - .chars() - .collect()]]) + metagrid.push(vec![vec![format!("… {empty_entries}").chars().collect()]]) } } }