mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-22 14:07:15 +02:00
Proper cleanup avoid segfaults on exit
This commit is contained in:
@@ -555,6 +555,10 @@ void LayoutView::close()
|
|||||||
}
|
}
|
||||||
mp_bookmarks_frame = 0;
|
mp_bookmarks_frame = 0;
|
||||||
mp_bookmarks_view = 0;
|
mp_bookmarks_view = 0;
|
||||||
|
|
||||||
|
if (mp_properties_dialog) {
|
||||||
|
delete mp_properties_dialog.data ();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
void
|
void
|
||||||
|
|||||||
Reference in New Issue
Block a user