54f3036f86
If the user leaves the mouse pointer at the bottom of the screen for a second, open the tray. This simulates the eventual plan of measuring "pressure" by how far the pointer is moved past the edge of the screen. Measuring pressure will take X server changes. https://bugzilla.gnome.org/show_bug.cgi?id=682310