On Ubuntu 13.10 with Mate-Desktop (1.6) also gedit does not scroll if pointer is not over the scroll bar but pluma scrolls normally. Mate is on 14.04's repositories (but 1.6, not 1.8).
On Ubuntu 13.10 with Mate-Desktop (1.6) also gedit does not scroll if pointer is not over the scroll bar but pluma scrolls normally. Mate is on 14.04's repositories (but 1.6, not 1.8).