On Monday 07 September 2015 00.18:26 Timothy Pearson wrote:

A quick Google search show that this might be an Xorg bug: https://bugs.launchpad.net/ubuntu/+source/acpi-support/+bug/217182

Actually this one was a good hint. After a little search as to how xsetwacom works it does provide a solution. It requires four scripts and four buttons in the panel but I can perfectly live with that solution.

Thank you for suggesting a solution!

If anyone is looking for a sensible solution "with touch", take a look at the X220t, it's a very nice machine at you get them pretty cheap these days.

Thierry