Created attachment 36813
Ensure documentList is duplicate-free
After debugging I found the cause for the duplicate entries in the tab switching widget: DocumentSwitcherPlugin::addView is called sometiems with a view that already exists in the list.
I have attached a simple patch that maintains the documentList duplicate-free. Probably this isn't the best approach to fixing the problem, but it should fix the crashes.
Created attachment 36813
Ensure documentList is duplicate-free
After debugging I found the cause for the duplicate entries in the tab switching widget: DocumentSwitche rPlugin: :addView is called sometiems with a view that already exists in the list.
I have attached a simple patch that maintains the documentList duplicate-free. Probably this isn't the best approach to fixing the problem, but it should fix the crashes.