Re: [Texmacs-dev] Patches: copy/paste and selection handling.

[Joris van der Hoeven]

On Fri, Apr 17, 2009 at 09:42:27AM -0400, Kamaraju Kusumanchi wrote:
> On Fri, Apr 17, 2009 at 6:40 AM, Andrea Gamba <address@hidden> 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