Bug#803208: info: mouse unusable after exiting info with C-c

[Andy Isaacson <adi@hexapodia.org>]

Package: info
Version: 6.0.0.dfsg.1-3
Severity: normal

Dear Maintainer,

Recently, GNU Info started using the xterm mouse.  (There does not
appear to be any way to disable this behavior short of TERM=vt100, which
is perhaps a separate bug.)

When I exit info using control-C, and I then attempt to select text in
my shell by clicking the left button, my shell echos " iB#" rather than
letting me select text.  It seems that when exiting due to SIGINT, info
left the terminal configured to send mouse sequences rather than
releasing the mouse binding.

Steps to reproduce:

1. run "info make" in xterm
2. press control-C to exit back to shell
3. observe that selecting text does not work but instead types
   characters

Desired behavior:

when exiting due to SIGINT, info should turn off any special modes it
turned on at startup.

Workarounds:

1. do not exit info with control-C (unfortunately I don't know another
   way to exit, and I don't use info frequently enough to remember more
   of its unusual UI)
2. alias info='env TERM=vt100 info' in your shell


Thanks,
-andy

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.1.4-00001-ga6a3b30 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages info depends on:
ii  install-info  6.0.0.dfsg.1-3
ii  libc6         2.19-19
ii  libtinfo5     6.0+20150810-1

info recommends no packages.

Versions of packages info suggests:
pn  texinfo-doc-nonfree  <none>

-- no debconf information