Skip to content
Snippets Groups Projects
Commit 6b7e2953 authored by Andrey Lushnikov's avatar Andrey Lushnikov Committed by Marijn Haverbeke
Browse files

mark-selection addon improvement 

Addresses issue #1484 and speeds up mark-selection add-on by
maintaining text selection coverage with small chunks of text marks.
parent 9a8282fd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment