Re: [code][Textadept] hardcoded title font size in Markdown lexer

From: Robert Gieseke <>
Date: Thu, 17 Aug 2017 09:01:10 +0200

Am 17/08/17 um 08:46 schrieb Franck Guadagnini:
>>> local font_size = 10
>>> by
>>> local font_size =['fontsize'].
>>> Mitchell, you may be interested in pushing this little change
>>> upstream?
>> This would work for Textadept, but the lexers are part of another
>> project, Scintillua[1], that is editor-agnostic. Applying this
>> change would break lexing for downstream users. I completely agree
>> that hardcoding the size is not ideal, but I'm not sure what the
>> best solution is. Forcing downstream users to define a
>> markdown-specific property is not something I'd want to do. If you
>> have another suggestion, I'd be happy to hear. Otherwise, keeping
>> your own copy of *markdown.lua* with your change is probably best
>> for now.

Maybe this could be done in a conditional, if exists use
it, else set it to 10?


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Thu 17 Aug 2017 - 03:01:10 EDT

This archive was generated by hypermail 2.2.0 : Thu 17 Aug 2017 - 06:33:46 EDT