Merge pull request #575 from Guldoman/sanitize_selection_redo

Sanitize selections after redo
This commit is contained in:
Francesco 2021-10-02 22:16:30 +02:00 committed by GitHub
commit 9fb166d3cc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -301,7 +301,8 @@ local function pop_undo(self, undo_stack, redo_stack, modified)
local line1, col1, line2, col2 = table.unpack(cmd) local line1, col1, line2, col2 = table.unpack(cmd)
self:raw_remove(line1, col1, line2, col2, redo_stack, cmd.time) self:raw_remove(line1, col1, line2, col2, redo_stack, cmd.time)
elseif cmd.type == "selection" then elseif cmd.type == "selection" then
self.selections = { unpack(cmd) } self.selections = { table.unpack(cmd) }
self:sanitize_selection()
end end
modified = modified or (cmd.type ~= "selection") modified = modified or (cmd.type ~= "selection")