# HG changeset patch # User Julien Cristau # Date 1444668185 -7200 # Node ID 02cc22d7d339fb523ada541b038f7802f00a607c # Parent 65bb683d2a5106854db9622bbdf5fb907e36626a [web] integer division diff -r 65bb683d2a51 -r 02cc22d7d339 web/formwidgets.py --- a/web/formwidgets.py Mon Oct 12 18:42:38 2015 +0200 +++ b/web/formwidgets.py Mon Oct 12 18:43:05 2015 +0200 @@ -418,7 +418,7 @@ lines = value.splitlines() linecount = len(lines) for line in lines: - linecount += len(line) / self._columns + linecount += len(line) // self._columns attrs.setdefault('cols', self._columns) attrs.setdefault('rows', min(self._maxrows, linecount + self._minrows)) return tags.textarea(value, name=field.input_name(form, self.suffix),