Bug#797872: info: please add an option to disable mouse support

To: Thorsten Glaser <tg@mirbsd.de>, 797872@bugs.debian.org
Subject: Bug#797872: info: please add an option to disable mouse support
From: Norbert Preining <preining@logic.at>
Date: Wed, 21 Oct 2015 19:23:16 +0900
Message-id: <[🔎] 20151021102316.GH18500@auth.logic.tuwien.ac.at>
Reply-to: Norbert Preining <preining@logic.at>, 797872@bugs.debian.org
In-reply-to: <20150903082915.25809.10432.reportbug@tglase.lan.tarent.de>
References: <20150903082915.25809.10432.reportbug@tglase.lan.tarent.de>

tags 797872 + pending
thanks

included upstream patch to disable the mouse behaviour.

> The info browser suddenly seems to have gained some sort
> of mouse support. The symptoms are:

------------------------------------------------------------------------
PREINING, Norbert                               http://www.preining.info
JAIST, Japan                                 TeX Live & Debian Developer
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0  ACF0 6CAC A448 860C DC13
------------------------------------------------------------------------

Reply to:

Follow-Ups:
- Processed: Re: Bug#797872: info: please add an option to disable mouse support
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: [texinfo] 01/01: switch back to default mouse behaviour (Closes: #797872)
Next by Date: Processed: Re: Bug#797872: info: please add an option to disable mouse support
Previous by thread: texlive-lang_2015.20151016-1_amd64.changes ACCEPTED into unstable
Next by thread: Processed: Re: Bug#797872: info: please add an option to disable mouse support
Index(es):
- Date
- Thread