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

From: Franck Guadagnini <franckguadagnini.att.me.com>
Date: Wed, 16 Aug 2017 07:32:31 +0200


In the Markdown lexer, the titles are supposed to be drawn bigger than the normal text, but the base font size is hardcoded to 10 points. If, like me, you use a big base font size, the titles will actually display *smaller* than the text. To correct this, it's only needed to replace, at line 84 of lexers/markdown.lua,

local font_size = 10


local font_size = buffer.property['fontsize'].

Mitchell, you may be interested in pushing this little change upstream?

You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
Received on Wed 16 Aug 2017 - 01:32:31 EDT

This archive was generated by hypermail 2.2.0 : Wed 16 Aug 2017 - 06:35:45 EDT