-
Matthias Clasen authored
When a tab is dropped, we have to remove it from the notebook to insert it elsewhere. This is expected part of the tab dnd operation, and we need to differentiate it from 'spontaneous' removals which cause us to cancel the drag operation.
3fc21b4f