Closed Guldoman closed 1 year ago
The terminal can be scrolled with the mouse only when focused. Moreover, if the terminal is focused, other views can't be scrolled.
Should be closed by 570bb514b4478ed806d634bdd3d8be9456445698.
Yep, fixed.
The terminal can be scrolled with the mouse only when focused. Moreover, if the terminal is focused, other views can't be scrolled.