-
Jehan authored
... scrolling in progress. In particular, this could happen while panning with mouse middle click and hitting space. This space should simply be ignored.
8aaf77ba
... scrolling in progress. In particular, this could happen while panning with mouse middle click and hitting space. This space should simply be ignored.