Eu tenho isso para trabalhar.
Primeiro, todas as configurações confusas foram porque as configurações do dispositivo de marcação (ou telas de dispositivos apontadores no Ubuntu) foram definidas para o botão 4 na tela de configurações do dispositivo TrackPoint, quando deveria ter sido o botão 2. Uma vez eu mudei o botão 2 funcionou bem.