<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Siep Kroonenberg wrote:<br>
</div>
<blockquote type="cite" cite="mid:20200428085820.GA1456@bitmuis.nl">
<pre wrap="">On Mon, Apr 27, 2020 at 08:45:08PM +0100, Philip Taylor wrote:
</pre>
<blockquote type="cite">
<pre wrap="">Siep Kroonenberg wrote:
</pre>
<blockquote type="cite">
<pre wrap="">I can reproduce this on windows, but not on other platforms. I have
not found a remedy.
</pre>
</blockquote>
</blockquote>
<pre wrap="">
Fixed in r54921, which may become available tomorrow or the day
after.</pre>
</blockquote>
<br>
Excellent news; thank you.<br>
<br>
<blockquote type="cite" cite="mid:20200428085820.GA1456@bitmuis.nl">
<pre wrap="">
</pre>
<blockquote type="cite">
<pre wrap="">In what language is TLSHELL written, Siep ?
</pre>
</blockquote>
<pre wrap="">
Tcl/Tk
</pre>
</blockquote>
<br>
Ah, now I can see it. The filename looked like "tlshell.td" but now
that you have told me that it is TCL/TK, I can see that it is really
"tlshell.tcl". Tiny (<i>sans serif</i>) fonts again !<br>
<br>
<i>** Phil.</i><br>
</body>
</html>