jed-users mailing list
[2021 Date Index] [2021 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: [jed-users] Re: VT100 compatible terminal emulator?

<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p><br>
    </p>
    <div class="moz-cite-prefix">El 18/8/21 a las 17:24, Laurent Perez
      escribió:<br>
    </div>
    <blockquote type="cite" cite="mid:YR0mHS69bXj2mSwx@xxxxxxxxxx">
      <pre class="moz-quote-pre" wrap="">I'm not trying to sell you st ;^)</pre>
    </blockquote>
    <p><br>
    </p>
    <p>Hi. It happen that you have done it. It's a nice small terminal <br>
    </p>
    <p>but as far as this is jed related, I'll have to say that that <br>
    </p>
    <p>terminal AFAIK it's not capable to trap jed EDT mode numpad,</p>
    <p>so that golden key and / works. This was a mayor loss of</p>
    <p>fun from ubuntu. So I'll go to check lastest dev version of jed.
      <br>
    </p>
    <p><br>
    </p>
    <p>Best.</p>
    <p><br>
    </p>
    <p><br>
    </p>
    <p><br>
    </p>
    <blockquote type="cite" cite="mid:YR0mHS69bXj2mSwx@xxxxxxxxxx">
      <pre class="moz-quote-pre" wrap="">
</pre>
    </blockquote>
    <div class="moz-signature">-- <br>
      <img src="cid:part1.95F52668.E4C7C069@telecable.es" border="0"></div>
  </body>
</html>

PNG image

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