Op 30-07-13 18:13, MRAB schreef:
On 30/07/2013 15:38, Antoon Pardon wrote:
Op 30-07-13 16:01, wxjmfa...@gmail.com schreef:
I am pretty sure that once you have typed your 127504 ascii
characters, you are very happy the buffer of your editor does not
waste time in reencoding the buffer as soon as you enter an €, the
125505th char. Sorry, I wanted to say z instead of euro, just to
show that backspacing the last char and reentering a new char
implies twice a reencoding.
Using a single string as an editor buffer is a bad idea in python for
the simple reason that strings are immutable.
Using a single string as an editor buffer is a bad idea in _any_
language because an insertion would require all the following
characters to be moved.
Not if you use a gap buffer.
--
Antoon Pardon.
--
http://mail.python.org/mailman/listinfo/python-list
