From: Guenter M. <mi...@us...> - 2017-01-05 16:26:12
|
Dear David, >> Is the patch still "on the table"? > Yes, but I'm looking at making more extensive changes first. The patch > that implemented the changes to support > settings.character_level_inline_markup really made a mess of things: ... > I'll work on all these and propose another patch. thank you Günter |