-
This ensures that all the other terminals (in other splits) will still be visible after moving the maximized terminal to a new tab.
9d4df205
This ensures that all the other terminals (in other splits) will still be visible after moving the maximized terminal to a new tab.