[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#74536: 30.0.50; undocumented box behaviour in faces
|
From: |
Eli Zaretskii |
|
Subject: |
bug#74536: 30.0.50; undocumented box behaviour in faces |
|
Date: |
Sat, 30 Nov 2024 12:44:56 +0200 |
> From: Al Haji-Ali <abdo.haji.ali@gmail.com>
> Cc: 74536@debbugs.gnu.org
> Date: Mon, 25 Nov 2024 21:08:48 +0000
>
>
> Thanks for the response.
>
> On 25/11/2024, Eli Zaretskii wrote:
> >> I find this behaviour, if intended, sometimes helpful as it allows one to
> >> have a one-sided border. Though it would be helpful if the exact mechanism
> >> is documented.
> >
> > What mechanism would you like to be documented?
> >
>
> Exactly what you explained:
Done.