forcemerge 797872 803208 thanks On Tue, 27 Oct 2015, Andy Isaacson wrote: > when exiting due to SIGINT, info should turn off any special modes it > turned on at startup.
Mouse support will be disabled in the next release, it is already in the git repo. Norbert ------------------------------------------------------------------------ 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 ------------------------------------------------------------------------
