G

Remove a tab when it has nothing to display

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.
id

8

author

Adrien

created

11/01/2013, 14:39

updated

24/01/2013, 23:52

labels
Libervia
type
bug
status
closed
priority
normal
milestone
0.7
severity
normal