Tools pad does not autohide anymore - regression

[grofaty]

Pinta 1.7.0.125 on Ubuntu 14.04

1. Minimize all docked windows.
2. Click on Palette and move mouse to canvas - don't click anything. Pad autohides. OK.
3. Repeat step 2 for Images, Layers and History. OK.
4. Repeat stpe 2 for Tools and pad does NOT autohide. Problem

Compate with Pinta 1.6 official stable and this problem does not appear. So 1.7 dev. regression problem.

On my small laptop screen autohide is very important feature to have as big canvas as possible.

[grofaty (grofaty)]

This annoys me a lot, I found a work-around. Click on Tools select some tool and then work-around is to click on empty grey place outside of canvas and Tools pad gets auto-hidden.

[grofaty (grofaty)]

I can not reproduce this problem anymore in 1.7+r1113-202007280014~ubuntu18.04.1. It may be fixed somewhere in the road or it was Mono problem that was also updated for Pinta 1.7 to work properly.

Cameron, can you reproduce a problem? If not, I suggest to close down bug report.

[Cameron White (cameronwhite91)]

This seems to work okay for me now too.