Segfault at MM exit on Linux

[gabrield]

On Linux, a segfault is received when some document is closed. This is the backtrace:

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff603c2e8 in QDateTime::~QDateTime() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
(gdb) bt
#0 0x00007ffff603c2e8 in QDateTime::~QDateTime() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#1 0x000000000043daef in Editor::~Editor() ()
#2 0x00007ffff6d10629 in QsciScintillaQt::~QsciScintillaQt() () from /usr/lib/libqt5scintilla2.so.11
#3 0x00007ffff6cdea15 in QsciScintillaBase::~QsciScintillaBase() () from /usr/lib/libqt5scintilla2.so.11
#4 0x000000000043db59 in Editor::~Editor() ()
#5 0x00007ffff61f8c9c in QObjectPrivate::deleteChildren() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#6 0x00007ffff7723bf9 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#7 0x00007ffff7878829 in QStackedWidget::~QStackedWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#8 0x00007ffff61f8c9c in QObjectPrivate::deleteChildren() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#9 0x00007ffff7723bf9 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#10 0x00000000004407f1 in EditorTab::~EditorTab() ()
#11 0x00007ffff61f8c9c in QObjectPrivate::deleteChildren() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#12 0x00007ffff7723bf9 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#13 0x00007ffff7874099 in QSplitter::~QSplitter() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#14 0x00007ffff61f8c9c in QObjectPrivate::deleteChildren() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#15 0x00007ffff7723bf9 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#16 0x00007ffff7874099 in QSplitter::~QSplitter() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#17 0x00007ffff61f8c9c in QObjectPrivate::deleteChildren() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#18 0x00007ffff7723bf9 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#19 0x00007ffff7723e19 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#20 0x00007ffff61f8c9c in QObjectPrivate::deleteChildren() () from /usr/lib/x86_64-linux-gnu/libQt5Core.so.5
#21 0x00007ffff7723bf9 in QWidget::~QWidget() () from /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5
#22 0x00000000004222bd in main ()

(gdb)