Nikos Tsipinakis 1bc3237a35 Subscribe to PropertyChangeMask regardless of follow_mode
PropertyNotify events are used primarily to detect active screen changes
when follow mode is used but now we also need them to receive resource
manager events in order to update the dpi value.
2019-03-23 20:01:27 +02:00
..
2018-10-31 15:19:24 +01:00
2018-11-15 15:17:48 +01:00
2018-11-26 19:54:21 +01:00
2019-01-11 13:10:37 +01:00
2019-03-06 21:14:52 +01:00
2019-01-07 15:30:42 +01:00
2018-09-14 13:36:05 +02:00
2019-03-06 21:14:52 +01:00
2019-01-07 15:30:42 +01:00
2019-03-06 21:14:52 +01:00
2019-01-30 23:50:33 -08:00
2019-01-07 15:32:28 +01:00
2019-01-07 15:32:28 +01:00
2019-03-06 21:14:52 +01:00
2019-01-30 23:50:33 -08:00
2019-01-30 23:50:33 -08:00
2019-01-07 15:32:28 +01:00
2019-01-07 15:30:42 +01:00
2019-01-07 17:56:00 +01:00