Issues with badge sizing
- iTerm2 version: 3.3
- OS version: 10.14.6
When resizing the badge using the graphical edit feature from the Profiles page, the badge doesn't always respond to the changes. There is also a disconnect between the Advanced tab and the graphical interface
Detailed steps to reproduce the problem:
- Set initial badge parameters to 0.05 max height, 0.75 max width in the Advanced tab
- Go to the profile and click the edit button
- Drag the height to 20 and click ok. The badge resizes, sometimes.
- Click edit again and drag the heigh back to 5. The badge does not resize until a new session is created with that profile.