[debbugs-tracker] bug#33553: closed (Document negatively listing fonts for character range)

[GNU bug Tracking System]

Your message dated Fri, 30 Nov 2018 15:47:36 +0800
with message-id <address@hidden>
and subject line Re: bug#33553: Document negatively listing fonts for character 
range
has caused the debbugs.gnu.org bug report #33553,
regarding Document negatively listing fonts for character range
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
33553: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33553
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Document negatively listing fonts for character range
>
>
>
>
> Date: 
>
> Fri, 30 Nov 2018 06:50:12 +0800
>
>
>
>
> (info "(emacs) Modifying Fontsets")
> shows how to
>
> + Use a certain font for a certain range of characters
>
> + Prohibit a certain font for all characters
>
> But it doesn't show how to
>
> + Prohibit a certain font for a certain range of characters
>
> So to prohibit a certain font for just one character, the user must
> prohibit it for all characters.
>
> Or he must hardwire some other arbitrary font to be used for that one
> character, he can not just say don't use a certain font for that
> character.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#33553: Document negatively listing fonts for character range
>
>
>
>
> Date: 
>
> Fri, 30 Nov 2018 15:47:36 +0800
>
>
>
>
> >>>>> "EZ" == Eli Zaretskii <address@hidden> writes:
> EZ> There's no documentation bug, AFAICT, as the
> EZ> documentation describes the facilities we have.
>
> OK, closing.
>
>
> --- End Message ---