On Mon, Jun 12, 2017 at 05:49:49PM -0400, Scott Kostyshak wrote: > On Sun, Jun 11, 2017 at 07:50:23PM +0200, Enrico Forestieri wrote: > > > > In that case I think I'd prefer a combo box "Code highlighting package: > > > Listings|Minted" or somesuch. > > > > I tried to be minimalist in the changes, but if Scott agrees I could also > > do that. This could delay trasnslations, though, as my spare time is > > running out. > > Since Uwe is away, I'm guessing he hasn't sent an email to translators > (hopefully he will respond to [1] when he is back), so I'm fine with it > if you can finish the patch before I clear up the situation about the > translators. When do you think you can finish the patch by?
I committed the patch at ae561677. This introduces new strings, so I am also going to remerge po files (maybe overnight nobody will be upset ;) -- Enrico