On Wed, Jan 25, 2017 at 08:50:21PM +0000, Guenter Milde wrote:
> On 2017-01-25, Enrico Forestieri wrote:
> 
> > [-- Type: text/plain, Encoding:  --]
> 
> > On Tue, Jan 24, 2017 at 09:11:12PM +0100, Enrico Forestieri wrote:
> >> On Tue, Jan 24, 2017 at 12:00:02PM +0000, Guenter Milde wrote:
> >> > On 2017-01-24, Enrico Forestieri wrote:
> >> > > On Mon, Jan 23, 2017 at 10:14:39PM +0000, Guenter Milde wrote:
> >> > 
> >> > >> Below is an incomplete patch (see FIXME).
> >> > >> Could someone with more C++ knowledge complete and test, please?
> >> > 
> >> > > This would be a step forward. However, I am more radical and would like
> >> > > that the automatic transformation of -- and --- to \textendash and
> >> > > \textemdash be removed. If I enter -- I want to get --, otherwise
> >> > > strange things and obscure bugs can happen. For example:
> >> > > 1) start a new document and input "--" and you get \textendash
> >> > > 2) now enter another "-" and you get \textemdash
> >> > > 3) now enter another "-" and everything gets replaced by "-"
> >> > 
> >> > This could be changed to gets replaced by "----"
> ...
> > This seems to have been done on purpose. But I don't understand why.
> 
> The idea seems to be to cycle between hyphen, en-, and em-dash with
> subsequent keypresses. This makes sense under the assumption, that in normal
> text you will never need an em-dash followed by a hyphen, an en-dash, or
> another em-dash.

This does not make sense. In latex you can write how many dashes you want
and they count.

> > The attached patch corrects this glitch and I am going to commit it
> > because I really don't see any rationale behind this behavior.
> 
> With your patch, would pressing the [-]-Key 4 times become 
> EM DASH + HYPHEN or ----?

----   becomes EM DASH + HYPHEN
-----  becomes EM DASH + EN DASH
------ becomes EM DASH + EM DASH

and so on. With the other patch I posted, these become again a series
of dashes on output. Perfect compatibility with earlier versions and
visually satisfactory for those who want to see em-dashes instead of
those horrible looking three dashes.

-- 
Enrico

Reply via email to