> 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
