tree a0ea7c9cee6708f7f5f1b4bc54ef92d896837e87
parent f1e4afbdba9e2800efb7d19273e9fa2d21343212
author Simeon Andreev <simeon.danailov.andreev@gmail.com> 1629443347 +0200
committer Andrey Loskutov <loskutov@gmx.de> 1629471211 -0400

Bug 575487 - [GTK] Crash in Plug-in Images Browser

Move ImageBrowserView.scanImages(), called from the views Spinner widget
ModifyListener, to a Display.asyncExec() call. This prevents a crash in
GTK3, likely caused by disposing widgets (via scanImages()) "at the
wrong time".

Change-Id: I96a9d27769a81dc89ae5ee1f07d092205bde5e16
Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/184253
Tested-by: PDE Bot <pde-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>