[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: enriched mode loses bold on save, version 26.1, debian 10.3
From: |
Jean Louis |
Subject: |
Re: enriched mode loses bold on save, version 26.1, debian 10.3 |
Date: |
Sat, 13 Feb 2021 17:31:11 +0300 |
User-agent: |
Mutt/2.0 (3d08634) (2020-11-07) |
* Eli Zaretskii <eliz@gnu.org> [2021-02-13 16:36]:
> > Date: Sat, 13 Feb 2021 13:10:39 +0300
> > From: Jean Louis <bugs@gnu.support>
> > Cc: help-gnu-emacs@gnu.org
> >
> > > I think this is a bug in enriched-mode, please report it together with
> > > the recipe for reproducing the problem.
> >
> > Let us say I have M-x shell in one window, and my prompt symbol "$" is
> > green color or bold, and in other window file in enriched mode.
> >
> > Then I move to buffer *shell* and copy this:
> >
> > ,----
> > | $ ls
> > `----
> >
> > I can see visually that $ is green in color or bold, and when I insert
> > it into enriched mode file, I can see the same color. When I save it,
> > it is not there, this is because propertized text was copied and
> > pasted.
> >
> > Is enriched mode supposed to understand propertized text and convert
> > such into enriched mode?
>
> Well, it did understand the foreground color in the OP's recipe,
> didn't it?
Now when inspecting that it should save the color I can see it does
save the color, that I did not know.
> it did save the color, but not the bold attribute So then answer
> appears to be YES, and there's something Enriched mode should have
> done but didn't.
That is right and also clarified to me.
> (And there's no reason to "convert to enriched mode", since what
> Enriched mode offers is a mechanism to save and restore text
> properties. It's not like it invents some new text attributes or
> something, they are just text properties.)
Aha. That I did not know.
- enriched mode loses bold on save, version 26.1, debian 10.3, Dan Hitt, 2021/02/12
- Re: enriched mode loses bold on save, version 26.1, debian 10.3, Jean Louis, 2021/02/13
- Re: enriched mode loses bold on save, version 26.1, debian 10.3, Eli Zaretskii, 2021/02/13
- Re: enriched mode loses bold on save, version 26.1, debian 10.3, Jean Louis, 2021/02/13
- Re: enriched mode loses bold on save, version 26.1, debian 10.3, Emanuel Berg, 2021/02/13
- Re: enriched mode loses bold on save, version 26.1, debian 10.3, Jean Louis, 2021/02/13
- Re: enriched mode loses bold on save, version 26.1, debian 10.3, Dan Hitt, 2021/02/13