view tools/mdx_del.py @ 698:efb525863a75

jQuery UI Tabs were changed quite a bit, which broke private messages. Here is a fix. Upgrade notes are found here: http://jqueryui.com/upgrade-guide/1.9/#tabs
author Brian Neal <bgneal@gmail.com>
date Mon, 09 Sep 2013 20:30:13 -0500
parents 2e90b63520b8
children
line wrap: on
line source
"""
A python-markdown extension to add support for <del>.
The Markdown syntax is --this is deleted text--.

"""
import markdown


DEL_RE = r'(---)(.*?)---'

class DelExtension(markdown.Extension):

    def extendMarkdown(self, md, md_globals):
        del_tag = markdown.inlinepatterns.SimpleTagPattern(DEL_RE, 'del')
        md.inlinePatterns.add('del', del_tag, '>not_strong')


def makeExtension(configs=None):
    return DelExtension(configs)