jed-users mailing list

[2023 Date Index] [2023 Thread Index] [Other years]
[Thread Prev] [Thread Next] [Date Prev] [Date Next]

Re: [jed-users] Re: Highlighting user preferred variables in perl

Subject: Re: [jed-users] Re: Highlighting user preferred variables in perl
From: Jesús Lozano Mosterín <jesuslozanomosterin@xxxxxxxxx>
Date: Thu, 15 Jun 2023 07:52:50 +0200

<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p><br>
    </p>
    <div class="moz-cite-prefix">El 11/6/23 a las 13:13, Morten Bo
      Johansen escribió:<br>
    </div>
    <blockquote type="cite" cite="mid:ZIWsVXioqRfTvKlM@xxxxxxxxxxxxxxxx">
      <pre class="moz-quote-pre" wrap="">Jesus Lozano Mosterin <a class="moz-txt-link-rfc2396E" href="mailto:jesuslozanomosterin@xxxxxxxxx";>&lt;jesuslozanomosterin@xxxxxxxxx&gt;</a> wrote:

</pre>
      <blockquote type="cite">
        <pre class="moz-quote-pre" wrap="">I wonder if could be possible to
Highlight user preferred variables,
As a VOI (variables of interest).

Example: $a $b $i $jj $k

I think the color yellow is free.
</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">
For example

  dfa_define_highlight_rule ("\\$.* ", "Qkeyword1", $1);
  
would highlight the variables above in the color of "keyword1"
and stop matching following a space. Modify to your needs.

Regards,
Morten
_______________________________________________
For list information, visit <a class="moz-txt-link-rfc2396E" href="http://jedsoft.org/jed/mailinglists.html";>&lt;http://jedsoft.org/jed/mailinglists.html&gt;</a>.
</pre>
    </blockquote>
    <p><br>
    </p>
    <p>If this is not loadable via .jedrc, threre must be wrongware,</p>
    <p>because it changes all the colors of jed.  <br>
    </p>
    <p>Thanks anyway.<br>
    </p>
    <p>Jesús</p>
    <p><br>
    </p>
    <blockquote type="cite" cite="mid:ZIWsVXioqRfTvKlM@xxxxxxxxxxxxxxxx">
      <pre class="moz-quote-pre" wrap="">
</pre>
    </blockquote>
    <div class="moz-signature">-- <br>
      <img src="cid:part1.ONeg45F0.t80CTjRr@gmail.com" border="0"></div>
  </body>
</html>

References:
- [jed-users] Highlighting user preferred variables in perl
  - From: Jesus Lozano Mosterin
- [jed-users] Re: Highlighting user preferred variables in perl
  - From: Morten Bo Johansen

[2023 date index] [2023 thread index]
[Thread Prev] [Thread Next] [Date Prev] [Date Next]