[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Indentation with spaces
From: |
goncholden |
Subject: |
Re: Indentation with spaces |
Date: |
Sat, 11 Jun 2022 09:07:27 +0000 |
------- Original Message -------
On Saturday, June 11th, 2022 at 8:27 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> > Date: Sat, 11 Jun 2022 07:57:48 +0000
> > From: goncholden goncholden@protonmail.com
> > Cc: help-gnu-emacs@gnu.org
> >
> > > > I am aware than emacs had dabbled on proportional fonts but not for
> > > > programming though.
> > >
> > > Emacs has done nothing of the sorts, please stop the insinuations.
> > > This is being worked on as Emacs development progresses, and is
> > > already better in latest Emacs versions.
> >
> > Proportional fonts have been tried with emacs, am I right?
>
>
> Yes.
>
> > But you have no working version for programming languages, am I right?
>
>
> No.
So how is it? I could have a try and play with that. Provided you can handle
some rudeness ;)
At any rate, my rudeness is not important because I am not the one making the
emacs decisions.
I can only describe my difficulties, that's it.
- Re: Indentation with spaces, (continued)
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- Re: Indentation with spaces, goncholden, 2022/06/11
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- Re: Indentation with spaces,
goncholden <=
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/11
- RE: [External] : Re: Indentation with spaces, goncholden, 2022/06/11
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/11
- RE: [External] : Re: Indentation with spaces, goncholden, 2022/06/11
- Re: [External] : Re: Indentation with spaces, Eli Zaretskii, 2022/06/12
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10