##// END OF EJS Templates
py3: use integer division in histedit...
Martin von Zweigbergk -
r45092:d06e748c default
parent child Browse files
Show More
@@ -1267,7 +1267,7 b' def changeview(state, delta, unit):'
1267 num_lines = len(mode_state[b'patchcontents'])
1267 num_lines = len(mode_state[b'patchcontents'])
1268 page_height = state[b'page_height']
1268 page_height = state[b'page_height']
1269 unit = page_height if unit == b'page' else 1
1269 unit = page_height if unit == b'page' else 1
1270 num_pages = 1 + (num_lines - 1) / page_height
1270 num_pages = 1 + (num_lines - 1) // page_height
1271 max_offset = (num_pages - 1) * page_height
1271 max_offset = (num_pages - 1) * page_height
1272 newline = mode_state[b'line_offset'] + delta * unit
1272 newline = mode_state[b'line_offset'] + delta * unit
1273 mode_state[b'line_offset'] = max(0, min(max_offset, newline))
1273 mode_state[b'line_offset'] = max(0, min(max_offset, newline))
General Comments 0
You need to be logged in to leave comments. Login now