##// END OF EJS Templates
page_dumb mime bundle
Sylvain Corlay -
Show More
@@ -38,7 +38,7 b' def display_page(strng, start=0, screen_lines=25):'
38 38 else:
39 39 if start:
40 40 strng = u'\n'.join(strng.splitlines()[start:])
41 data = {'text/plain': strng}
41 data = { 'text/plain': strng }
42 42 display(data, raw=True)
43 43
44 44
@@ -56,8 +56,10 b' def page_dumb(strng, start=0, screen_lines=25):'
56 56 """Very dumb 'pager' in Python, for when nothing else works.
57 57
58 58 Only moves forward, same interface as page(), except for pager_cmd and
59 mode."""
60
59 mode.
60 """
61 if isinstance(strng, dict):
62 strng = strng.get('text/plain', '')
61 63 out_ln = strng.splitlines()[start:]
62 64 screens = chop(out_ln,screen_lines-1)
63 65 if len(screens) == 1:
General Comments 0
You need to be logged in to leave comments. Login now