##// END OF EJS Templates
Merge pull request #717 from stefanv/htmlnotebook_highlight_markdown...
Merge pull request #717 from stefanv/htmlnotebook_highlight_markdown Add source highlighting to markdown snippets, with a theme matching the CodeMirror one we use. This only highlights source code in blocks that are indented 4 spaces in markdown cells, leaving <pre> blocks alone. If highlight is desired in <pre> blocks, a further <code> block must be created. The visual theme matches the one used for CodeMirror as much as possible.

File last commit:

r3456:f38fe81a
r4658:9460984a merge
Show More
__init__.py
13 lines | 562 B | text/x-python | PythonLexer
try:
import argparse
# Workaround an argparse bug, FIXED in argparse 1.1.0
if 'RawTextHelpFormatterArgumentDefaultsHelpFormatter' in argparse.__all__:
import itertools
argparse.__all__ = list(itertools.chain( [i for i in argparse.__all__
if i != 'RawTextHelpFormatterArgumentDefaultsHelpFormatter'],
['RawTextHelpFormatter', 'ArgumentDefaultsHelpFormatter']))
argparse.__all__.append('SUPPRESS')
from argparse import *
except ImportError:
from _argparse import *
from _argparse import SUPPRESS