I have a little expirience in GTK and GUI. I also think we should keep settings simple. What we may do is add logging (if we run in verbose mode) of the mouse buttons which differ from 1-5. Then someone who has a problem would report it to github and provide log info