Re: [O] PATCH: programming language indicators in HTML export

Hello, Robert Klein writes: > Please find the patch attached. Applied. Thank you. Regards, -- Nicolas Goaziou

Re: [O] PATCH: programming language indicators in HTML export

Hi, Rasmus wrote: > Robert Klein writes: > > > Hi, > > > > Nicolas Goaziou wrote: > > > >> Hello, > >> > >> Robert Klein writes: > >> > >> > anyone willing to commit this patch I sent back in march? > >> > >>

Re: [O] PATCH: programming language indicators in HTML export

Robert Klein writes: > Hi, > > Nicolas Goaziou wrote: > >> Hello, >> >> Robert Klein writes: >> >> > anyone willing to commit this patch I sent back in march? >> >> This patch actually felt through the cracks. Sorry about that.

Re: [O] PATCH: programming language indicators in HTML export

Hi, Nicolas Goaziou wrote: > Hello, > > Robert Klein writes: > > > anyone willing to commit this patch I sent back in march? > > This patch actually felt through the cracks. Sorry about that. Would > you mind sending it again, using git

Re: [O] PATCH: programming language indicators in HTML export

Hello, Robert Klein writes: > anyone willing to commit this patch I sent back in march? This patch actually felt through the cracks. Sorry about that. Would you mind sending it again, using git format-patch so I can apply it? Thank you. Regards, -- Nicolas Goaziou

Re: [O] PATCH: programming language indicators in HTML export

Hi, anyone willing to commit this patch I sent back in march? Best regards Robert On Mon, 14 Mar 2016 15:16:05 +0100 Robert Klein wrote: > > Author: Robert Klein 2016-03-14 14:43:46 > Committer: Robert Klein 2016-03-14 14:43:46

Re: [O] PATCH: programming language indicators in HTML export

Hi Rasmus, On Tue, 15 Mar 2016 15:24:00 +0100 Rasmus wrote: [rest deleted] > Robert, do you have a copyright assignment of changes to Emacs? I > think the change is too long (in line count) for a TINYCHANGE. I signed the FSF papers in April 2015. On top of the sheet there is

Re: [O] PATCH: programming language indicators in HTML export

Hi Robert, Robert Klein writes: >> The patch would make the default html header a bit longer, which may >> or may not be an issue. Perhaps more importantly, it also does not >> deal with new languages. Maybe it would be possible to add a bit of >> JS that would look up the

Re: [O] PATCH: programming language indicators in HTML export

Hi Rasmus, Rasmus wrote: > Hi Robert, > > Thanks for the patch. > > Robert Klein writes: > > > any thoughts about this? > > Remind me, would this only show up when hovering above the block with > the mouse when using this setup? Yes. > > The patch

Re: [O] PATCH: programming language indicators in HTML export

Hi Robert, Thanks for the patch. Robert Klein writes: > any thoughts about this? Remind me, would this only show up when hovering above the block with the mouse when using this setup? The patch would make the default html header a bit longer, which may or may not be an

[O] PATCH: programming language indicators in HTML export

Hi, any thoughts about this? Best regards Robert Author: Robert Klein 2016-03-14 14:43:46 Committer: Robert Klein 2016-03-14 14:43:46 Parent: dd9be3a6ea4ff561248b1f6658194fd153b5821c (Fix docstring typo) Branch: maint Follows: release_8.3.4 Precedes: