On Mon, Apr 15, 2019 at 04:28:16PM +0200, Jean-Marc Lasgouttes wrote: > Le 15/04/2019 à 16:08, Enrico Forestieri a écrit : > > On Mon, Apr 15, 2019 at 12:16:26PM +0200, Jean-Marc Lasgouttes wrote: > > > > > > OK, it was just a suggestion. More important would be to have new bindings > > > that use the feature. I guess one candidate is > > > -- > \longrightarrow > > > > Another interesting feature made possible by this patch is the > > following one: > > > > ( * \bigl( > > \bigl( * \Bigl( > > \Bigl( * \biggl( > > \biggl( * \Biggl( > > \Biggl( * ( > > > > This will let you type ( and then, by repeteadly hitting *, cycle > > through all fixed sizes of the delimiter. Of course, there should > > be a matching definition for ) and all other delimiters. > > > Indeed. It would be nice to use <space> for that, like to extend a space.
Spaces are troublesome, I would avoid having to represent them in the autocorrect file. Then, a space is already used for deactivating the autocorrection feature. > I wonder though: isn't this already possible with current code? I don't think so. > I find the use of space a bit inconsistent in general in mathed. And I would > often prefer them to do nothing than exit the current cell. I find it is fine for exiting super or subscripts, or for completing the name of a macro. -- Enrico
