I often need to copy-and-paste and use GUI controls on the edges of the screen.
In previous versions the Ubuntu Dock could be configured to only show when the cursor was in the corner, not just on an edge, and there was a 'sensitivity' parameter that could be set high to preventing accidental triggering of the Dock.
These don't seem to be present in the Ubuntu 17.10 Control Panel. Is there some extension or hidden configuration option in 17.10 that could:
- make the Dock show when the cursor is in the top-left corner, rather than just on the left, and/or
- alter the sensitivity of the Dock auto-show?