Header truncation

[9999years]

A detailed description of the feature you would like to see added.

I'd like the ability to truncate column headers to the column width.

Explain your usecase of the requested feature

To preserve space, I'd like the column headers to not take up more space than the column contents. Therefore, I have a truncated column header. However, when there's lots of free space, this looks pretty silly! I'd like to only use the truncated column header if it's needed for space constraints.

[Nukesor]

Could you provide a few examples of the current behavior and the wanted behavior :)?

[9999years]

Current behavior:

     #  Subject                               Updat  Owner   Status
   682  Format Nix code with `nixfmt`         22:25  rbt     open     ✗
   778  Add `nixfmt`                          22:17  rbt     wip      ✗

Here I've chosen the column header Updat for the updated timestamp column so that it doesn't need to be any wider.

On a wider terminal, it renders like this:

        #  Subject                                                    Updat  Owner      Status
      682  Format Nix code with `nixfmt`                              22:25  rbt        open        ✗
      778  Add `nixfmt`                                               22:17  rbt        wip         ✗

Here we have plenty of space for the full Updated header, so that's what I'd like:

        #  Subject                                                  Updated  Owner      Status
      682  Format Nix code with `nixfmt`                              22:25  rbt        open        ✗
      778  Add `nixfmt`                                               22:17  rbt        wip         ✗

(Aside: I'm not sure why there's padding on the left/right sides of the table...)

[Nukesor]

Hmm.

My first approach on this would be to add a "priority" to columns. Based on that priority, space is distributed to those columns with a higher priority first. It would be important to work with MinWidth constraints as soon as different priorities are used, as a single column might use the whole width otherwise.

Additionally, we would need a display mode where content is just cut of if it doesn't fit into a column.