<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body>
    <div class="moz-cite-prefix">On 12/9/20 10:10 AM, Rudi Gaelzer
      wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:4281423.LvFx2qVVIh@landau">
      <meta http-equiv="content-type" content="text/html;
        charset=windows-1252">
      <meta name="qrichtext" content="1">
      <style type="text/css">
p, li { white-space: pre-wrap; }</style>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">On terça-feira, 8 de dezembro de 2020 20:22:04 -03 you wrote:</p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> At the moment, the * thing works with paired delimiters, but it only</p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> changes the first one, which is definitely a bug. It should obviously</p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> change both. I also don't know how hard that would be.</p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> </p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> Riki</p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> </p>
      <p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; "> </p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Indeed.  It works separately for "[" and for "]".</p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">It also works separately for "[" and for ")", which is not a bad thing per se.</p>
      <p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; "> </p>
      <p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">About my idea of browsing through the variable-sized delimiters, should I put it on the wishlist?</p>
    </blockquote>
    <p>Sure. You can also play around with this yourself. There's a file, autocorrect, that you can find in your LyX system directory. (Here it is at /usr/share/lyx/autocorrect.) It's just a text file. The part that controls this behavior looks like:</p>
    <p>(                 *    \bigl(
\bigl(            *    \Bigl(
\Bigl(            *    \biggl(
\biggl(           *    \Biggl(
\Biggl(           *    (

)                 *    \bigl)
\bigl)            *    \Bigl)
\Bigl)            *    \biggl)
\biggl)           *    \Biggl)
\Biggl)           *    )

The first thing is what's there already; the next is the 'trigger'; the latter is the result. So you could do e.g.</p>
    <p>(  /       [
[       /       {
{       /       (</p>
    <p>and similarly for the right side, and now slash cycles through delimiter types. You'd also have to do</p>
    <p>\bigl(     /    \bigl[</p>
    <p>etc for the sizes. 
</p>
    <p>I think that if you copy the system autocorrect file to your local LyX user directory (so, here, I'd put it at $HOME/.lyx/autocorrect), then LyX will pick use your modified version. (This is generally true with configuration files.)</p>
    <p>I was just looking throguh that file. There's all kinds of cool stuff in there!
</p>
    <p>Riki</p>
    <p>
</p>
    <p>   
</p>
  </body>
</html>