Re: [AUCTeX-devel] [Patch] support xreader

2017-06-16 Thread Mosè Giordano
Hi Antoine, 2017-06-15 15:11 GMT+02:00 Antoine Levitt : > So apparently forking GNOME once was not enough, and now the linux mint > people have a new name for their pdf viewer, xreader (see e.g. > https://www.linuxmint.com/rel_sarah_cinnamon_whatsnew.php). Oh my gosh. > Here's a > patch for auct

[AUCTeX-devel] [Patch] support xreader

2017-06-15 Thread Antoine Levitt
So apparently forking GNOME once was not enough, and now the linux mint people have a new name for their pdf viewer, xreader (see e.g. https://www.linuxmint.com/rel_sarah_cinnamon_whatsnew.php). Here's a patch for auctex to support it. I had to remove a check for the executable, because xreader has