On Mon, Jul 27, 2020 at 10:40:24PM -0700, Ross Vandegrift wrote:
> Thanks, this is awesome! One small bug report:
>
> On Sun, Jul 26, 2020 at 05:22:45PM +0200, Boris Faure wrote:
> > * Reworked the Settings panel to add one panel on Mouse interactions
>
> I unchecked "Auto hide the mouse
Thanks, this is awesome! One small bug report:
On Sun, Jul 26, 2020 at 05:22:45PM +0200, Boris Faure wrote:
> * Reworked the Settings panel to add one panel on Mouse interactions
I unchecked "Auto hide the mouse cursor when idle", but it didn't affect the
open terminology window. Instead,