I'm loving this feature. I think it adds quite a bit and makes the launcher just that much more discoverable for newbies.
Two small suggestions:
1. The wording in the options dialog might read better as:
Show the launcher when the pointer: [ ] Pushes left edge or top left corner of the screen [ ] Touches top left corner of the screen only
and
2. I'm assuming there is a timeout on the left-edge behavior. Initial launcher show feels a tad sluggish. Perhaps lowering timeout threshold.
I'm loving this feature. I think it adds quite a bit and makes the launcher just that much more discoverable for newbies.
Two small suggestions:
1. The wording in the options dialog might read better as:
Show the launcher when the pointer:
[ ] Pushes left edge or top left corner of the screen
[ ] Touches top left corner of the screen only
and
2. I'm assuming there is a timeout on the left-edge behavior. Initial launcher show feels a tad sluggish. Perhaps lowering timeout threshold.