[Github-comments] [geany/geany] Plugin Manager causes Geany to crash when opened more than once at a time (#1563)

Colomban Wendling notifications at xxxxx
Fri Jul 28 03:53:17 UTC 2017


> Should just de-sensitize `tools->Plugin Manager` menu item when open.

I don't think so, it makes some sense to have a mean to call upon the dialog if it's already open, and disabling the item isn't necessarily totally safe if there was another way of triggering it (like keybinding not taking the sensitivity into account).

I like @dmaphy's suggestion better.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1563#issuecomment-318551348
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170727/ab817eda/attachment.html>


More information about the Github-comments mailing list