[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add texmaker.
From: |
Roel Janssen |
Subject: |
Re: [PATCH] gnu: Add texmaker. |
Date: |
Mon, 23 May 2016 20:12:35 +0200 |
User-agent: |
mu4e 0.9.17; emacs 25.1.50.1 |
Efraim Flashner writes:
> On Mon, May 23, 2016 at 01:59:07AM +0200, Roel Janssen wrote:
>> Dear Guix,
>>
>> For the lack of a better place, I created a new file for texmaker.
>> Maybe we should consider moving all LaTeX-related stuff into latex.scm.
>>
>> Here's a patch for Texmaker -- a decent LaTeX editor for the non-Emacs
>> users ;-).
>
> You mean you don't just use vim? ;P
Heh :P
> It built perfectly for me and opened nicely too. I think it does make
> sense to stick a bunch of LaTeX stuff into a dedicated file, but I'm not
> seeing a lot ATM. Would sticking it in texlive make sense?
Perhaps, but it's not specific to Texlive. You could even use it
without having a LaTeX distribution installed to have syntax
highlighting for tex files (provided you're not using Emacs for this
purpose..).
Therefore I don't think it would fit into texlive, but I don't have any
strong feelings about this, so, what do you think? Should I add it to
texlive instead?
Thanks for your time and effort.
Kind regards,
Roel Janssen
- [PATCH] gnu: Add texmaker., Roel Janssen, 2016/05/22
- Re: [PATCH] gnu: Add texmaker., Efraim Flashner, 2016/05/23
- Re: [PATCH] gnu: Add texmaker.,
Roel Janssen <=
- Re: [PATCH] gnu: Add texmaker., Ludovic Courtès, 2016/05/23
- Re: [PATCH] gnu: Add texmaker., Roel Janssen, 2016/05/23
- Re: [PATCH] gnu: Add texmaker., Ludovic Courtès, 2016/05/24
- Re: [PATCH] gnu: Add texmaker., Efraim Flashner, 2016/05/24
- Re: [PATCH] gnu: Add texmaker., Ben Woodcroft, 2016/05/24
- Re: [PATCH] gnu: Add texmaker., Leo Famulari, 2016/05/24
- Re: [PATCH] gnu: Add texmaker., Ludovic Courtès, 2016/05/25
- Re: [PATCH] gnu: Add texmaker., Roel Janssen, 2016/05/24
- Re: [PATCH] gnu: Add texmaker., Ludovic Courtès, 2016/05/26
- Re: [PATCH] gnu: Add texmaker., Roel Janssen, 2016/05/26