<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title></title>
</head>
<body>
<div name="messageBodySection">Allan, Michael,
<div><br /></div>
<div>thank you.</div>
<div><br /></div>
<div>I shall report back after catching the update.</div>
<div><br /></div>
<div>el
<div></div>
</div>
</div>
<div name="messageSignatureSection"><br />
Sent from Dr Lisse’s iPad mini 4</div>
<div name="messageReplySection">On 16 Nov 2018, 07:45 +0200, Allan Odgaard <mailinglist@textmate.org>, wrote:<br />
<blockquote type="cite" style="margin: 5px 5px; padding-left: 10px; border-left: thin solid #1abc9c;">
<div style="font-family:sans-serif">
<div style="white-space:normal">
<p dir="auto">On 15 Nov 2018, at 21:17, Dr Eberhard W Lisse wrote:</p>
</div>
<div style="white-space:normal">
<blockquote style="margin: 5px 5px; padding-left: 10px; border-left: thin solid #e67e22;">
<p dir="auto">Is there a way to increase the font size ot the Context Menus/PopUps on<br />
the bottom line? They are very hard to read.</p>
</blockquote>
</div>
<div style="white-space:normal">
<p dir="auto">Not currently, but I have increased the size from 11 to 12 (next build) and made it possible to set <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">statusBarFontSize</code> via the <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">defaults</code> command if it’s still too small."</p>
</div>
</div>
</blockquote>
</div>
</body>
</html>