Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This fixes the following case: 1. Create and split the terminal 2. Hide the panel 3. Create a terminal in the background 4. Show it, the dimensions were wrong
- Loading branch information