          if (have_synaptics)
              break;
      }
-@@ -844,24 +869,56 @@ xfce_pointers_helper_change_properties (gpointer key,
+@@ -847,24 +872,56 @@ xfce_pointers_helper_change_properties (gpointer key,
  
  
  static void

From 37f5e33511499d320c3035c5377425004657faa5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <schnitzeltony@googlemail.com>
Date: Thu, 20 Dec 2012 16:58:19 +0100
Subject: [PATCH 5/5] pointers: detect a change of pointer-device used and set

                 /* stop searching */
                 n = ndevices;
             }
@@ -1072,26 +1162,44 @@ xfce_pointers_helper_channel_property_changed (XfconfChannel      *channel,
 
 
 
