Fix crash if plugin manager is opened more than once (#1564)
commit03e5bb9facd4e35ac0757781e054c7389362d129
authorColomban Wendling <lists.ban@herbesfolles.org>
Fri, 28 Jul 2017 04:15:55 +0000 (27 21:15 -0700)
committerMatthew Brush <mbrush@codebrainz.ca>
Fri, 28 Jul 2017 04:15:55 +0000 (27 21:15 -0700)
tree7d505f0ada6ecd87c8a08c1ac14231b0dc8c77db
parent18d524525df6612a8ab7fd690aa99d815c59f80d
Fix crash if plugin manager is opened more than once (#1564)

Do not allow more than one plugin manager dialog at a time.  It doesn't
make sense and the code is not fully re-entrant and leads to a crash
toggling plugins in both dialogs.

Fixes #1563.
src/plugins.c