##// END OF EJS Templates
py3: use integer division in curseschunkselector.printstring()...
py3: use integer division in curseschunkselector.printstring() This fixes a crash when scrolling in curses UI when refresh() is called when a float value (namely 'self.firstlineofpadtoprint', taking its value indirectly from 'self.linesprintedtopadsofar').
Denis Laxalde -
r43429:b0238700 default
Show More
Name Size Modified Last Commit Author
/ mercurial / templates / coal
header.tmpl Loading ...
map Loading ...