On 12/9/20 12:20 PM, Scott Kostyshak wrote:
On Wed, Dec 09, 2020 at 01:25:37PM +0100, Enrico Forestieri wrote:
On Tue, Dec 08, 2020 at 06:22:04PM -0500, Richard Kimberly Heck wrote:
On 12/8/20 6:18 PM, Rudi Gaelzer wrote:
Another development that would be handy would be the possibility to
brow
On 12/9/20 7:25 AM, Enrico Forestieri wrote:
> On Tue, Dec 08, 2020 at 06:22:04PM -0500, Richard Kimberly Heck wrote:
>
>> 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
On Wed, Dec 09, 2020 at 01:25:37PM +0100, Enrico Forestieri wrote:
> On Tue, Dec 08, 2020 at 06:22:04PM -0500, Richard Kimberly Heck wrote:
> > On 12/8/20 6:18 PM, Rudi Gaelzer wrote:
> > > Another development that would be handy would be the possibility to
> > > browse through matched delimiters
>
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
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
>
> ( ), [ ], { }, |
