get_tab_by_name is safer now, by passing the type of the tab we want.
This avoid confusion between various tabs having an identical name (which should not happen anyway…)
Showing
Please register or sign in to comment
This avoid confusion between various tabs having an identical name (which should not happen anyway…)