Do not record selection history in draft context
Each draft context gets its own private copy of the selections. Any selection changes will be thrown away when the draft context is disposed. Since selection-undo is only supported as top-level command, it can never be used inside a draft context, so let's stop recording it. No functional change.
This commit is contained in:
parent
a52bb9146e
commit
f79580680a
|
@ -228,7 +228,7 @@ struct ScopedSelectionEdition
|
|||
{
|
||||
ScopedSelectionEdition(Context& context)
|
||||
: m_context{context},
|
||||
m_buffer{context.has_buffer() ? &context.buffer() : nullptr}
|
||||
m_buffer{not (m_context.flags() & Context::Flags::Draft) and context.has_buffer() ? &context.buffer() : nullptr}
|
||||
{ if (m_buffer) m_context.m_selection_history.begin_edition(); }
|
||||
ScopedSelectionEdition(ScopedSelectionEdition&& other) : m_context{other.m_context}, m_buffer{other.m_buffer}
|
||||
{ other.m_buffer = nullptr; }
|
||||
|
|
Loading…
Reference in New Issue
Block a user