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