Dominique Martinet 62993d9391
x11 window: update cursor position on enter event ...
click events would have an incorrect position after changing workspace,
if the mouse didn't move in between.
(Another example where this matters is a new window, if it appears under
the cursor, clicking would lead the application to think the user clicked
at 0,0)
2018-11-03 14:17:39 +01:00
2018-10-05 11:59:26 +02:00
2017-09-17 15:14:22 +02:00
2017-07-07 15:52:33 +02:00
2017-11-20 18:04:05 +01:00
2018-03-01 08:31:54 +01:00
2018-10-24 18:01:12 +02:00
2017-03-19 02:46:16 +01:00
2018-10-26 16:24:16 +02:00
2018-02-06 13:10:41 +01:00
2017-09-27 21:54:04 +02:00
2018-10-05 11:59:26 +02:00
2018-11-03 11:57:47 +01:00
2016-02-02 06:00:18 +01:00
2018-10-05 11:59:26 +02:00
2018-01-29 02:26:12 +01:00
2017-09-27 21:33:03 +02:00
2018-04-12 03:27:06 +02:00
2018-05-18 15:22:48 +02:00
2018-10-05 11:59:26 +02:00
2018-10-03 22:03:20 +02:00
2017-07-07 15:52:33 +02:00
2018-02-13 18:57:56 +01:00
2017-12-14 15:36:55 +01:00
2018-03-01 08:31:54 +01:00
2017-05-25 19:35:13 +02:00
2018-10-26 15:19:48 +02:00
2017-03-19 00:52:46 +01:00
2017-07-13 01:28:02 +02:00
2017-07-07 15:52:33 +02:00
2018-03-01 08:31:54 +01:00
2017-06-08 16:09:14 +02:00
2018-01-09 18:02:52 +01:00
2017-09-10 21:02:26 +02:00
2017-11-20 18:04:05 +01:00
2017-06-08 16:09:14 +02:00
2017-06-08 16:09:14 +02:00
2017-03-19 02:46:16 +01:00
2017-05-25 19:35:13 +02:00
2018-10-05 11:59:26 +02:00
2018-10-22 00:51:08 +02:00
2018-01-09 17:58:54 +01:00
2018-09-03 23:12:39 +02:00
2017-11-14 19:50:59 +01:00
2017-07-07 15:52:33 +02:00
2018-09-03 23:12:39 +02:00
2018-10-22 00:51:08 +02:00
2017-06-08 16:09:14 +02:00
2017-03-19 02:46:16 +01:00
2018-10-22 00:51:08 +02:00
2018-09-03 23:12:39 +02:00
2018-10-24 14:03:08 +02:00
2018-09-29 21:01:03 +02:00
2018-10-24 14:03:08 +02:00
2018-10-24 14:03:08 +02:00
2018-10-22 00:51:08 +02:00
2018-03-01 08:31:54 +01:00
2018-02-07 16:46:58 +01:00
2018-11-03 14:17:39 +01:00
2017-05-17 22:26:15 +02:00
2017-05-25 19:35:13 +02:00
62993d9391