> 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 or view it on GitHub:
https://github.com/geany/geany/pull/3907#issuecomment-2168082228
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3907/c2168082...@github.com>

Reply via email to