The Ubuntu-specific patch that added this option had been removed since Ubuntu 15.04. It was safe to remove as that setting did nothing anyway.
See this report for more info: https://bugs.launchpad.net/bugs/1340067 -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1484224 Title: preference setting is mislabelled Status in gnome-terminal package in Ubuntu: New Bug description: The preference setting "Use keystrokes to scroll on alternate screen" should refer to the mouse scrollwheel instead. It's just a label change to describe what the switch really does. ubuntu 14.04 LTS running on VirtualBox 4.3.30 in Windows. ProblemType: Bug DistroRelease: Ubuntu 14.04 Package: gnome-terminal 3.6.2-0ubuntu1 ProcVersionSignature: Ubuntu 3.16.0-45.60~14.04.1-generic 3.16.7-ckt14 Uname: Linux 3.16.0-45-generic x86_64 ApportVersion: 2.14.1-0ubuntu3.11 Architecture: amd64 CurrentDesktop: Unity Date: Wed Aug 12 12:32:35 2015 InstallationDate: Installed on 2015-05-07 (96 days ago) InstallationMedia: Ubuntu 14.04.2 LTS "Trusty Tahr" - Release amd64 (20150218.1) ProcEnviron: LANGUAGE=en_US PATH=(custom, no user) XDG_RUNTIME_DIR=<set> LANG=en_US.UTF-8 SHELL=/bin/bash SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1484224/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
