GPointingDeviceSettings is a GUI tool for setting pointing device such
as TrackPoint or Touchpad. Each UI can be written as dynamic loadable
module, so a third party can add its own UI.
Based on a port from jasper@ with tweaks by ajacoutot@
ok ajacoutot@, jasper@
