adjust selection after replaceall#3623

matthias314 wants to merge 1 commit intomicro-editor:mastermicro-editor/micro:masterfrom

matthias314:m3/replace-selectionmatthias314/micro:m3/replace-selectionCopy head branch name to clipboard