This appears to me to be an implementation of a gap buffer: http://en.wikipedia.org/wiki/Gap_buffer http://en.wikipedia.org/wiki/Gap_buffer I actually just im

This appears to me to be an implementation of a gap buffer: http://en.wikipedia.org/wiki/Gap_buffer http://en.wikipedia.org/wiki/Gap_buffer I actually just implemented one in Python on top of the array module, planning to use it in a text editor: https://github.com/jasontbradshaw/gapbuffer https://github.com/jasontbradshaw/gapbuffer