Oh. Guys, I kinda forgot about this patch. Since then, I've submitted a better patch [1] - it's better because it's intended to be applied to VTE, a terminal widget library which all GTK+2 terminals (MATE terminal, Xfce terminal, roxterm-gtk2, lxterminal, etc.) use.
If it's applied, then there's no need to patch MATE terminal (and other GTK+2 terminals) - the alternate screen scroll will be enabled there automatically. It would be nice if you vote and comment there, persuading VTE maintainers to apply that patch. [1] https://bugs.launchpad.net/bugs/1340687 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1337195 Title: MATE terminal: mouse scroll doesn't work in certain console apps (e.g. man) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-mate/+bug/1337195/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs