##// END OF EJS Templates
Merge pull request #4384 from minrk/height...
Merge pull request #4384 from minrk/height fix menubar height measurement we were measuring the wrong divs, causing the pager splitter to occasionally be off-screen, or the top ~8 pixels of the header to be cut off (e.g. when visiting a url with an anchor).

File last commit:

r12775:5bd2f2e1
r12979:52ae6bbd merge
Show More
__init__.py
12 lines | 483 B | text/x-python | PythonLexer
# Class base Preprocessors
from .base import Preprocessor
from .convertfigures import ConvertFiguresPreprocessor
from .svg2pdf import SVG2PDFPreprocessor
from .extractoutput import ExtractOutputPreprocessor
from .revealhelp import RevealHelpPreprocessor
from .latex import LatexPreprocessor
from .csshtmlheader import CSSHTMLHeaderPreprocessor
from .highlightmagics import HighlightMagicsPreprocessor
# decorated function Preprocessors
from .coalescestreams import coalesce_streams