Right now, it seems dirvish assumes the header-line should be in the 'header-line face. I'd prefer to customize dirvish header line separately from the rest of the header line uses like I do for Joao's breadcrumb package https://github.com/joaotavora/breadcrumb/blob/1d9dd90f77a594cd50b368e6efc85d44539ec209/breadcrumb.el#L130
I tried to set dirvish-header-line-height to a float scale like 0.85, assuming it was influencing the face height, as I do for breadcrumb but it seems to accept only an integer and I'm not even sure what units that's in or what it is supposed to do. It looks like it merely serves to influence window calculations. I assume these can be inferred from a face height instead?
This seems like something that can be improved a bit and unified with a dirvish-header-line-face.
Thanks, again, for dirvish.
Right now, it seems dirvish assumes the header-line should be in the 'header-line face. I'd prefer to customize dirvish header line separately from the rest of the header line uses like I do for Joao's breadcrumb package https://github.com/joaotavora/breadcrumb/blob/1d9dd90f77a594cd50b368e6efc85d44539ec209/breadcrumb.el#L130
I tried to set dirvish-header-line-height to a float scale like 0.85, assuming it was influencing the face height, as I do for breadcrumb but it seems to accept only an integer and I'm not even sure what units that's in or what it is supposed to do. It looks like it merely serves to influence window calculations. I assume these can be inferred from a face height instead?
This seems like something that can be improved a bit and unified with a dirvish-header-line-face.
Thanks, again, for dirvish.