##// END OF EJS Templates
fix too-restrictive use of split(os.linesep) in %page...
MinRK -
Show More
@@ -110,7 +110,7 b' def page(strng, start=0, screen_lines=0, pager_cmd=None):'
110 print strng
110 print strng
111 return
111 return
112 # chop off the topmost part of the string we don't want to see
112 # chop off the topmost part of the string we don't want to see
113 str_lines = strng.split(os.linesep)[start:]
113 str_lines = strng.splitlines()[start:]
114 str_toprint = os.linesep.join(str_lines)
114 str_toprint = os.linesep.join(str_lines)
115 num_newlines = len(str_lines)
115 num_newlines = len(str_lines)
116 len_str = len(str_toprint)
116 len_str = len(str_toprint)
General Comments 0
You need to be logged in to leave comments. Login now