[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to change window divider in text terminal?
From: |
Akib Azmain Turja |
Subject: |
Re: How to change window divider in text terminal? |
Date: |
Thu, 28 Jul 2022 19:27:42 +0600 |
Andreas Schwab <schwab@suse.de> writes:
> On Jul 28 2022, Akib Azmain Turja wrote:
>
>> But none of the following work for me:
>>
>> (set-display-table-slot standard-display-table 5 ?|)
>> (set-display-table-slot standard-display-table 5 (make-glyph-code ?|))
>> (set-display-table-slot standard-display-table 'vertical-border ?|)
>> (set-display-table-slot standard-display-table 'vertical-border
>> (make-glyph-code ?|))
>
> All of them work for me. Of course, there is no difference since ?| is
> also the default.
>
>> And I'm pretty much sure that this happens because the character '|' is
>> hardcoded in "build_frame_matrix_from_leaf_window" in "src/dispnew.c".
>
> That's only used if the active display table doesn't override it.
Ah, my bad. I typed '|' instead of '│'. Anyway, thanks for finding my
mistake.
--
Akib Azmain Turja
Find me on Mastodon at @akib@hostux.social.
This message is signed by me with my GnuPG key. It's fingerprint is:
7001 8CE5 819F 17A3 BBA6 66AF E74F 0EFA 922A E7F5
signature.asc
Description: PGP signature