The _midori_browser_remove_tab → _midori_browser_destroy_tab proposal sounds like the right approach to me. One snack for thought here is to double-check how extensions behave and if they have a similar flaw.
The _midori_ browser_ remove_ tab → _midori_ browser_ destroy_ tab proposal sounds like the right approach to me. One snack for thought here is to double-check how extensions behave and if they have a similar flaw.