Jasper St. Pierre
0cc1615252
layout: Debounce triggering barriers
...
Ensure that the pointer leaves the barrier before we trigger again.
For the message tray case, this doesn't matter much, as the trigger
won't have any effect after the grab is taken, but in the overview
HotCorner case, this ensures that we don't trigger the overview
transition many times simply by holding pressure against the hot
corner, which is easy to do accidentally.
2013-03-04 15:50:44 -05:00
..
2013-03-01 13:17:51 -05:00
2013-03-04 18:32:49 +01:00
2013-03-04 15:28:37 +01:00
2013-02-22 14:58:13 +01:00
2012-11-02 19:25:26 +01:00
2013-03-02 17:44:26 -05:00
2013-02-20 20:07:08 +01:00
2013-02-20 16:04:54 +01:00
2013-03-04 18:59:30 +01:00
2012-03-26 14:43:54 +02:00
2012-12-16 23:03:34 +01:00
2013-02-20 20:51:11 +01:00
2013-03-04 18:59:30 +01:00
2013-02-20 17:01:25 +01:00
2013-02-20 14:16:54 -05:00
2012-05-24 15:38:44 -04:00
2013-02-20 14:16:53 -05:00
2013-02-05 19:54:17 +01:00
2013-02-18 04:31:45 -05:00
2013-02-15 00:26:47 +01:00
2013-02-22 09:46:30 +01:00
2013-02-20 22:39:41 +09:00
2013-03-04 15:50:44 -05:00
2013-01-31 16:07:16 +01:00
2013-02-20 23:14:53 +00:00
2012-08-31 16:43:52 -03:00
2011-11-24 09:50:04 +01:00
2013-03-04 11:58:39 -05:00
2013-03-01 13:17:51 -05:00
2013-03-04 09:17:41 +01:00
2013-02-14 18:54:08 +01:00
2013-03-03 12:59:09 +01:00
2013-03-02 00:29:13 +01:00
2013-03-04 15:51:25 +01:00
2013-02-22 14:28:58 +01:00
2013-02-06 22:35:49 -05:00
2013-02-15 09:13:02 +01:00
2013-02-18 13:31:15 -05:00
2013-03-01 00:38:50 +01:00
2012-10-30 15:50:05 +01:00
2013-03-02 17:26:28 -05:00
2013-03-02 22:26:27 +01:00
2011-11-11 11:15:38 -05:00
2013-02-16 13:24:21 -05:00
2013-03-01 00:38:50 +01:00
2013-01-08 13:07:51 -05:00
2013-02-19 22:07:08 +01:00
2013-03-03 12:59:09 +01:00
2013-03-04 16:43:59 +01:00
2012-12-02 23:01:56 +01:00
2013-03-04 15:28:38 +01:00
2013-02-25 12:59:35 -05:00
2013-02-19 18:39:53 -05:00
2013-03-03 13:51:30 +01:00
2013-02-19 18:39:53 -05:00
2013-03-03 15:41:52 -05:00
2012-12-10 16:50:54 -05:00
2012-11-02 19:25:26 +01:00
2013-02-22 14:28:58 +01:00
2013-02-28 18:15:15 -05:00
2013-02-20 20:17:20 +01:00
2013-02-06 22:35:49 -05:00
2013-02-25 18:23:42 -05:00
2013-03-03 15:41:52 -05:00