Improve splittable tab widget: fix a bug where new split widgets do not have the correct size
Fix a bug where remove_batch is called after the editor has been deleted and the reference returns None

This happens because remove_batch is called by a simple QTimer which cannot be interrupted