Eugen Rochko bdc8b4fd91 Disable mouse-based pause from #4859 (#4865)
It wasn't working ideally and introduced some annoying false positivies
2017-09-09 15:09:50 +02:00
..
2017-05-20 17:31:47 +02:00
2017-07-14 22:31:25 +02:00