[proposal] increase SHOW_DOCK_BOX_HEIGHT so that it's easier to trigger

[bryango]

I am using a dual monitor setup where the primary screen is on the top (labeled "2" in the settings view as shown below). In this case it's hard to place the cursor at the primary screen border; instead the cursor easily "falls through" the border into the lower screen. It's then nearly impossible to trigger the dock. (Also the animation looks weird as the dock will emerge from the lower screen and pop into the upper screen, but that's just a minor annoyance.)

I find that I can fix the problem by adjusting the constant:

dock-from-dash/extension.js

Line 18 in b5f18b2

var SHOW_DOCK_BOX_HEIGHT = 2;

With SHOW_DOCK_BOX_HEIGHT = 20 I can finally trigger the show dock action. Would you consider increasing this constant, before a proper multiple screens implementation (#44) is completed? Thank you!

P.S. My dual monitor setup: primary screen on top (labeled "2" by the settings view)

[bryango]

This is less reliable than I had imagined. Unintended triggers happen now and then. Closing...