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? Scott
