-
loh tar authored
When one not want this option, he may kept all tab bars close together or spread them a little bit. This patch try to take this into account when he move a tab to an own section.
8c0df846
When one not want this option, he may kept all tab bars close together or spread them a little bit. This patch try to take this into account when he move a tab to an own section.