Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] Comma issue

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Comma issue


Chronological Thread 
  • From: "Sam Liddicott" <address@hidden>
  • To: address@hidden
  • Cc: Jan Lellmann <address@hidden>, address@hidden
  • Subject: Re: [TeXmacs] Comma issue
  • Date: Mon, 27 Jun 2011 10:13:02 +0100
  • Envelope-to:
  • Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAMAAABg3Am1AAAAAXNSR0IArs4c6QAAADxQTFRF NTdQY2Z/i286eHFugnNXoJBwm5GCs5VeoqO0ua+fwLCQ4c2q19C81NDF4eLr/unQ/PTf/fXW+/rq /f/7XKo76wAAAAlwSFlzAAALEwAACxMBAJqcGAAAAi9JREFUSMetloGSqyAMRVsFNAQkxP//15cE 62rFdt/MZqbTVu/hBhLEx/qf8fgDIAN455wHyPk7wCIe9nA+fwGSH87hgD8AHPfRpy2GwdMtcBh+ mg4Ech9Ih+RNixJKDLEL0GF8VLkSojePHrDlryNijbFW8zBg8PUKbBOI6D1WCV5Rf2DzxCtgBlMs tRRVW5LyVW3ew1TfAZZ6RcQicpb4yZmaC74DJADK6BdATOrUAbJzsZie+K22ZnEBknNYysvhVH6u 1X8CqAe4DuANoPoOrAbsHXUARJ5knc5z4EyyTnHoAqj7xvkYIdk65AwhyEZKMusOIDV2QQQaCnDQ gBiDR3RdIEb5CBESt2wgQJI0Yx/Agphg1MgNsD+QkszM9wHVPx/PeQOW+fmcR9DF8+4CyCJhCuP8 fDzmBbLqs8JzMODqYNfDvKhoGYM2lDosy5jlRozccRAgrPM8iygQS3Mv87IugUgKlC7NZ6liuy4r uresVq5QuQAr09ZKEga8OkluyKXeQ6Bs3SrtqgC1pWLNqAfwDhBnB+sK8OrVL4D4h1B4zWPWhJhu gPUHKA5EwSMYUMsdQK+UKDhIOTSHeg+8HCoTOGtB/gwcl4mSdGybwXegPWhM/RHYKwchkckhUNMX 6j7ueQNScLbZZOPRxaADyO2UQCJpl7wbnE6gQ+ksWjpngxOwF1tF5ecP3R6KB+AQxPfHLncQ+nKw 06fhu68OTIfJ869eTtg22l+9zfwDK3mKl5BFHMYAAAAASUVORK5CYII=


On 26/06/11 15:44, Jan Lellmann wrote:

I noticed that recent versions of Texmacs exhibit a strange behavior: When I type a comma "," in an equation followed by space, the comma disappears. This is quite annoying. Is it intended behavior, and if yes, why?

I don't know why.

Find math-kdb.scm around line 177 and change:
(", space" "<nocomma>")
to
(", space" ",")

I don't know what the author was trying to achieve or what else this might break.

Cc'ing the dev list in case someone there has a comment.
It looks like that change was made by Joris on 2010-12-15 with the commit mexxage "further useful shortcuts" which also do the same trick for other things:

+ (". space" "<nosymbol>")
...
+ ("+ space" "<noplus>")

both of which also seem of doubtful usefulness. Maybe Joris will be able to comment.

Sam



Archive powered by MHonArc 2.6.19.

Top of Page