Re:Text Showdown: Gap Buffers vs. Ropes
by celeritascelery on Monday October 09, 2023 @12:43PM
(#37822258)
I should have added a section on that.
JumpRope combines a gap buffer with a skip list.
Crop combines a gap buffer with a rope.
ropey is a "traditional" rope that doesn't use a gap buffer under the hood.
JumpRope combines a gap buffer with a skip list. Crop combines a gap buffer with a rope. ropey is a "traditional" rope that doesn't use a gap buffer under the hood.