Changeset 7a349be99a77 in libervia. http://repos.goffi.org/libervia/rev/7a349be99a77\n dummy commit, just for test bug 8\n
Remove a tab when it has nothing to displaycreated
When all the content of a tab have been closed, the tab should be removed. Currently it's not the case and one can end with several empty tabs which pollute the space.