You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As described in #41, the performance optimization to resolve #16 causes cursors to be pushed to the end of the file whenever a replacement happens. Because I feel different people will choose different sides of the tradeoff, I'll add a configuration option to allow people to select between the two behaviors.
The text was updated successfully, but these errors were encountered:
As described in #41, the performance optimization to resolve #16 causes cursors to be pushed to the end of the file whenever a replacement happens. Because I feel different people will choose different sides of the tradeoff, I'll add a configuration option to allow people to select between the two behaviors.
The text was updated successfully, but these errors were encountered: