On Tue, Dec 08, 2020 at 06:22:04PM -0500, Richard Kimberly Heck wrote:
> On 12/8/20 6:18 PM, Rudi Gaelzer wrote:
> >
> > Worked.
> >
> > Interesting development. I usually employ variable-sized delimiters,
> > but often need to use \big, \Big, ...
> >
> >
> >
> > Another development that would be handy would be the possibility to
> > browse through matched delimiters
> >
> > ( ), [ ], { }, | |, ...
> >
> > or to change them hierarchically using shortcuts.
> >
> Yes, that's a very good idea. I don't know how difficult that would or
> wouldn't be.
Yes, that is a possible extension. You can even try that, because the
autocorrect file containing the rules for autocorrection can be edited
by a simple text editor. However, I find the cycling among the sizes
of the same delimiter more useful. If you miss a size because you hit *
too much times, you don't have to cycle among the size of all others.
> At the moment, the * thing works with paired delimiters, but it only
> changes the first one, which is definitely a bug. It should obviously
> change both. I also don't know how hard that would be.
Hardly a bug, unless you rate so the impossibility to accomplish that with
autocorrect. However, it is not even possible by using the GUI for delimiters.
--
Enrico
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
