updates the stored list of open tabs after manually closing a tab
Authored by: davit 2017-04-08
Parent: [r703]
Child: [r705]
