indent error
Use // where int division is intended. (This breaks IDLE for use with
previous Python versions -- I don't care.)
expand, tabwidth = string.expandtabs, self.tabwidth
have = len(expand(chars, tabwidth))
assert have > 0
- want = int((have - 1) / self.indentwidth) * self.indentwidth
+ want = int((have - 1) // self.indentwidth) * self.indentwidth
ncharsdeleted = 0
while 1:
chars = chars[:-1]
effective = effective + 1
elif ch == '\t':
raw = raw + 1
- effective = (int(effective / tabwidth) + 1) * tabwidth
+ effective = (effective // tabwidth + 1) * tabwidth
else:
break
return raw, effective
top, bot = self.getwindowlines()
lineno = self.getlineno(mark)
height = bot - top
- newtop = max(1, lineno - height/2)
+ newtop = max(1, lineno - height//2)
text.yview(float(newtop))
def getwindowlines(self):