On Fri, Apr 17, 2009 at 09:42:27AM -0400, Kamaraju Kusumanchi wrote: > On Fri, Apr 17, 2009 at 6:40 AM, Andrea Gamba <[email protected]> wrote: > > Dear Joris, > > > > Are you possibly implementing also the patch I suggested here: > > > > http://savannah.gnu.org/bugs/?25938 > > It solves a minor but annoying problem for Gnome/Ubuntu users. > > > > Andrea > > > > > > Andrea, > > This is Raju. I will try to include your fix in the next Debian > upload. If Joris decides to put it in the upstream, then I will remove > it from the Debian version. > > Does that sound reasonable?
The problem is that the fix contains several shell commands to be executed in order to update the database, so I do not know yet what to do here. Also, please use another icon for TeXmacs documents, since they should be distinguished from TeX documents. Best wishes, Joris _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
