Just out of my head, without testing anything, I think if the popup were made modal, the whole tab switching wouldn't work as for the switching itself the main window needs all the events to be delivered to it.

Just tried to make it modal and it's not a good idea at all - if both the tab switching popup is displayed and there's another modal popup created by the tab switch, the two have the potential to block each other and the situation is much worse than now.


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/pull/3907/c2168082228@github.com>