Fix cli crash with Python 3
This worked in Python 2 because type(4 / 2) == int but in Python 3 type(4 / 2) == float
@@ -420,7 +420,7 @@ def scroll_log(up, num_lines=None):
# default to a half-page
if not num_lines:
- num_lines = size_log_area/2
+ num_lines = size_log_area // 2
if up:
log_line_offset -= num_lines
