(2017-11-30, 14:17)Nils Schmidt Wrote:(2017-11-30, 13:30)Willy Tschager Wrote: Bug of the day:
* Old alternative key for middle mouse button (in my case the space bar) does no longer work. Setting a new key combination does not work. Middle mouse works. Linux Mint 17.3
I tried to reproduce this under Ubuntu 16.04 and an up-to-date KaOS 2017 without success.
Did you focus the text editor or some input field by mistake?
No, I rotated in 3D holding down the middle mouse button and tried to do the same with the space bar as I'm used without success.
w.
LEGO ergo sum