(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?
(2017-11-30, 13:30)Willy Tschager Wrote: Feature request of the day:
* Hour glass or progress bar when downloading stuff from the PT for PartReview.
I created an issue for the progress bar (#641).