<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div>
<div id="appendonsend" style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span>>I fixed the bits I mentioned and did rudimentary testing that shows it<br>
</span>
<div>>works well.  The lexer is indeed a plain copy of Scintilla's one, so no<br>
</div>
<div>>problem here.  IMO this is fine to go in, and I'll make a PR for review.<br>
</div>
<div>><br>
</div>
<div>>@Snowflake what credit should I use?  Your name and email as see on this<br>
</div>
<div>>ML, or something else?<br>
</div>
<div>><br>
</div>
<div>>Cheers,<br>
</div>
<span>>Colomban</span><br>
</div>
<div style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span><br>
</span></div>
<div style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span>Thank you very much! I had freed some time this Sunday to look over those issues you mentioned, but you beat me to it. Again, thanks!</span></div>
<div style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span><br>
</span></div>
<div style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span>Personally, I don't care much about credit, so I'd be fine without it. If it's strictly necessary, then this name and address are fine.</span></div>
<div style="font-family:Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<span><br>
</span></div>
</div>
</body>
</html>