improve empty map entry formatting

uiua-lang · Dec 28, 2023 · dac030d · dac030d
1 parent 8443bd7
commit dac030d
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/grid_fmt.rs b/src/grid_fmt.rs
@@ -183,12 +183,10 @@ impl<T: GridFmt + ArrayValue> GridFmt for Array<T> {
  }
  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()]])
  }
  }
  }